Software Details:
Version: 0.1
Upload Date: 3 Jun 15
Distribution Type: Freeware
Downloads: 94
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.
What is new in this release:
- 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
Comments not found