Codezero Microkernel v0.2 has been released. Please take a look at the download page for the project sources.

Please see the Jumpstart guide for quick introduction to everything about Codezero.

On this release, Codezero demonstrates the notion of Capabilities and Capability-based Security.

Capabilities protect all kernel-allocated resources, all system calls, and all system entities such as threads, address-spaces and containers.

Codezero's capability-based security model has been designed to be very comprehensive and highly configurable.

On this release, Codezero introduces the concept of Containers. Containers provide a highly configurable method of defining virtual computation environments over a single computer system.

Codezero defines and maintains three main system entities over the computer system: Containers, Address Spaces, and Threads. As their name suggests, containers provide conceptual collections of system resources that create separation boundaries over the system, introducing the notion of individual virtual computation environments.

In Codezero, each container, address space or thread may possess fine-grain capabilities, effectively enabling highly configurable, and dynamic management of system resources.

On the next release it is planned that recent cpu architectures are supported by Codezero. There is work in progress in porting to architectures such as Cortex-A8 and ARM11MPCore.

There is work in progress in porting the Linux kernel to Codezero as a para-virtualized guest operating system.