Advertisement
Codezero Microkernel
A new L4 microkernel...
microkernel L4 L4 microkernel OS services virtualization kernel
Colonel
Colonel is a simplistic microkernel offering capability protected ipc....
educational Nature Linux Kernel simplistic simplistic microkernel