Does that mean you could run l4linux with sel4? Didn’t realize the l4 api is con... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		elcritch on Jan 19, 2019 \| parent \| context \| favorite \| on: L4Linux – Linux running on the L4 microkernel 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.

__bjoernd on Jan 19, 2019 | [–]

Not quite. It was rebranded and even is commercially supported these days: https://www.kernkonzept.com/l4re.html

vertex-four on Jan 19, 2019 | [–]

There is no documentation that I can find regarding Linux running on seL4, outside of hardware virtualisation.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact