3 ms·
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
by elcritch 8y ago
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 8y agoNot quite. It was rebranded and even is commercially supported these days: https://www.kernkonzept.com/l4re.html https://www.kernkonzept.com/l4re.html
- vertex-four 8y agoThere is no documentation that I can find regarding Linux running on seL4, outside of hardware virtualisation.