Microkernel technology

A wiki about microkernels and technology behind it

User Tools

Site Tools



I've tried to bring more information about microkernels (existing now or died). It's a hobbyist project nothing more nothing less.

This weird and long domain name has been chosen just because it was cheap, however it's easy to remember.


Name Open source Free software Status Links
GNU Mach yes GNU GPL Active GNU Mach Home Source
start.txt · Last modified: 2021/02/09 14:23 by superb