seL4 Released!

NICTA’s proven microkernel has been released open source few weeks ago!
I worked on bits of the VMM project and minor bits of the kernel and userland libraries.
All code and proofs are open source.

seL4 Logo

seL4 Logo

Get it here:
http://sel4.systems/

Share Button

Leave a Reply