L4Linux – Linux running on the L4 microkernel


New top story on Hacker News: L4Linux – Linux running on the L4 microkernel