L4Linux – Linux running on the L4 microkernel
This seems like an important part that&#x27;s buried<p>&gt; Compared to monolithic Linux, there is a small performance tradeoff because of the µ-kernel architecture. However, the initial L4Linux has been somewhat optimized, and on L4&#x2F;x86 it has a very acceptable slowdown of less than 4 % for any relevant load.<p>If it provided any additional security guarantees in trade for that 4%, I imagine it&#x27;ll become a popular way of running Linux