Advertisement
Codezero Microkernel
A new L4 microkernel...
microkernel L4 L4 microkernel OS services virtualization kernel
1060 NetKernel Standard Edition
A resource oriented microkernel and application server...
application server resource oriented microkernel reduces software complexity 1060 NetKernel
Jari OS
Open source microkernel multi-service RTOSJari OS Open source microkernel multi-service RTOS...
real-time operating system OS microkernel real-time microkernel