Will there be future work with Genode, e.g. is the codebase going to stay focused on ARM or will it also support x86?
I am not sure what Genode's plans are. seL4 is a different kernel to OKL4, with a substantially different API, so it will be quite some work to move it across from OKL4 to seL4.