@xerz And yes. Monolithic kernels are just fine. Microkernels are only useful for proprietary modules because free software is trusted and there are no bugs in it. oh wait...