Comment by codedokode

Sadly Linux distributions use large kernel and there is no simple way to get a working desktop system with a microkernel.