News for hackers. Stuff that matters.
Re:L4Linux – Linux running on the L4 microkernel by naasking on Saturday January 19, 2019 @09:40AM (#18947245)
> If it provided any additional security guarantees in trade for that 4%, I imagine it'll become a popular way of running Linux

It did. This was the precursor to hypervisors and the first example of virtualization with low overhead, which is now everywhere.

There are no comments on this comment yet.