News for hackers. Stuff that matters.

A comment on L4Linux – Linux running on the L4 microkernel. Parent comment

Re:L4Linux – Linux running on the L4 microkernel by jakeogh on Saturday January 19, 2019 @12:16AM (#18945471)
there's this for NetBSD's drivers: https://research.csiro.au/tsblog/using-rump-kernels-to-run-u...
[ Parent | on HN ]

There are no comments on this comment yet.