News for hackers. Stuff that matters.

A comment on ACM Software System Award Given to seL4 Microkernel. Parent comment

Re:ACM Software System Award Given to seL4 Microkernel by mycall on Saturday May 06, 2023 @11:21PM (#35847597)
Take a look at Genode.
[ Parent | on HN ]

There are no comments on this comment yet.