Codezero Microkernel 0.1

Codezero Microkernel 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.


Product's homepage

What's New in This Release: [ read full changelog ]

Codezero Microkernel and userspace libraries:

· Codezero Microkernel
· libL4: L4 generic userspace library

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