- Adjust port to Genode expected layout - Make shared library - Adjust dependent infrastructure to change issue #4196