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 vertex-four on Saturday January 19, 2019 @08:56AM (#18947051)
There is no documentation that I can find regarding Linux running on seL4, outside of hardware virtualisation.
[ Parent | on HN ]

There are no comments on this comment yet.