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 kjs3 on Tuesday May 09, 2023 @01:01AM (#35870345)
Which...is not the same thing as 'secure' (although it helps).
[ Parent | on HN ]

There are no comments on this comment yet.