| | 1 | == Comparison Chart == |
| | 2 | |
| | 3 | ||= Name =||= Category =||= Goal =||= Non-goal =||= Depends on =||= API compatibility =||= Drivers compatibility |
| | 4 | || HelenOS || general-purpose || bleeding-edge microkernel design || legacy compatibility || N/A || POSIX compatibility library || own API |
| | 5 | || Genode || OS framework || framework to build OSes with attention to security || reinvent the wheel for each subproblem || selected microkernels || POSIX compatibility layer, Linux VM || DDE |
| | 6 | || Qubes OS || desktop OS || secure multi-domain desktop environment, TCB decomposition || new microkernel design || Xen, Linux (Fedora), X.org || Linux VM || Linux/Xen |
