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 ]
There are no comments on this comment yet.