Codezero Microkernel v0.2 Released
The Codezero team has released version 0.2 of their L4 microkernel. In this release, the microkernel is fully capability checked, and they introduced the notion of containers to provide isolated execution environments.
