L4Linux – Linux running on the L4 microkernel

Article URL: http://l4linux.org/overview.shtml

Comments URL: https://news.ycombinator.com/item?id=18944165

Points: 77

# Comments: 20

from Hacker News: Front Page http://bit.ly/2T0Oncw
via