News for hackers. Stuff that matters.
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

There are no comments on this comment yet.