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 elcritch on Saturday January 19, 2019 @01:04AM (#18945593)
Does that mean you could run l4linux with sel4? Didn’t realize the l4 api is consistent/broad enough to do that. That’s cool! The linked “drops” rtos seemed to be dead a long time back.
[ Parent | on HN ]
Re:L4Linux – Linux running on the L4 microkernel by __bjoernd on Saturday January 19, 2019 @04:44AM (#18946187)
Not quite. It was rebranded and even is commercially supported these days: https://www.kernkonzept.com/l4re.html
[ Parent | on HN ]
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 ]