News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by flo123456 on Wednesday August 07, 2019 @01:39AM (#20632225)
Take a look at Genode. It‘s come quite far in that regard.

https://genode.org/

[ Parent | on HN ]

There are no comments on this comment yet.