Codezero Microkernel A new L4 microkernel
Download

Codezero Microkernel Ranking & Summary

Codezero Microkernel Tags

microkernel L4 L4 microkernel OS services virtualization kernel Codezero

Codezero Microkernel Description

A new L4 microkernel 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's 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

Codezero Microkernel Related Software