News for hackers. Stuff that matters.

A comment on Sel4: We’re going open source. Parent comment

Re:Sel4: We’re going open source by walterbell on Tuesday June 24, 2014 @09:57PM (#7941851)
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

[ Parent | on HN ]
Re:Sel4: We’re going open source by daveasdf on Tuesday June 24, 2014 @10:12PM (#7941892)
The seL4 kernel currently supports the ARMv6, ARMv7 and x86 architectures, though the proof only applies to ARMv6.

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.

[ Parent | on HN ]