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. Nike Air Max BW Femme All code and proofs are open source.

Leave a Reply