== Comparison Chart == ||= Name =||= Category =||= Goal =||= Non-goal =||= Depends on =||= API compatibility =||= Drivers compatibility || HelenOS || general-purpose || bleeding-edge microkernel design || legacy compatibility || N/A || POSIX compatibility library || own API || 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 || Qubes OS || desktop OS || secure multi-domain desktop environment, TCB decomposition || new microkernel design || Xen, Linux (Fedora), X.org || Linux VM || Linux/Xen