Codezero Microkernel v0.3 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.
Codezero Release v0.3 adds support for the latest ARMv7 platforms, particularly the recently released quad core Cortex-A9 microprocessors.
The current release is a major milestone in the Codezero project as multi-core partitioning of the embedded platforms is now a reality.
The sources for the v0.3 generic kernel are available in the public git tree. ARMv7 SMP sources however, will be provided on demand. For evaluation of Cortex-A9 and ARMv7 SMP support please email us.
Genode OS Framework by Genode Labs is also supported by this release, and demonstration of the Genode Framework on quad core Cortex-A9 will be made available soon.
Codezero Microkernel v0.2 has been released.
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.
There is work in progress in porting the Linux kernel to Codezero as a para-virtualized guest operating system.