Buy Me a Coffee at ko-fi.com

Microkernel

kernel that provides fewer services than a traditional kernel

Mach L4 microkernel family seL4 Redox GNU Mach Zircon Hurd Exec Vanguard
Showing 0 to 9 of 9 Items