Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode) - View it on GitHub