Codezero Microkernel 0.1 has been released

Codezero is a new L4 microkernel that has been written from scratch. It is a modern microkernel implementation that provides capabilities for virtualization and implementation of native OS services.

Codezero can act as a virtualization platform, a hardware abstraction layer, and as a basis for developing operating system services. Codezero’s primary focus is on embedded systems.

Available on the Current Release 0.1

1) Codezero Microkernel and userspace libraries

• Codezero Microkernel
• libL4: L4 generic userspace library.

2) Codezero POSIX Services

• mm0: Default POSIX pager for Codezero
• fs0: Virtual filesystem service
• test0: Test executable for testing POSIX and Codezero system call interface
• libposix: POSIX glue userspace library.

Codezero Microkernel 0.1 is available for download here.