Codezero Microkernel

Software Screenshot:
Codezero Microkernel
Software Details:
Version: 0.1
Upload Date: 3 Jun 15
Developer: The Codezero Team
Distribution Type: Freeware
Downloads: 16

Rating: nan/5 (Total Votes: 0)

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

Similar Software

ubuntuBSD
ubuntuBSD

9 Aug 16

i2c-tiny-usb
i2c-tiny-usb

7 Mar 16

GhostBSD MATE
GhostBSD MATE

2 Sep 17

Comments to Codezero Microkernel

Comments not found
Add Comment
Turn on images!