Comment by walterbell

Will there be future work with Genode, e.g. is the codebase going to stay focused on ARM or will it also support x86?

http://genode.org/documentation/articles/genode-on-okl4