Comment by doener

The project seems orphaned. I never heard about it before. It's still referenced here as an option to run Genode OS: https://genode.org/about/index