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 CalChris on Saturday May 06, 2023 @01:57PM (#35843731)
I think that is a relevant question because in related news, Intel didn't acknowledge MINIX.

https://www.zdnet.com/article/minix-intels-hidden-in-chip-op...

[ Parent | on HN ]

There are no comments on this comment yet.