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 snvzz on Tuesday August 06, 2019 @05:05PM (#20629625)
To see what seL4 can do in practice in a desktop/workstation/server context, I suggest you take a look at Genode. Particularly, their recent dynamic system images.
[ Parent | on HN ]

There are no comments on this comment yet.