News for hackers. Stuff that matters.
Re:ACM Software System Award Given to seL4 Microkernel by suavesito on Tuesday May 09, 2023 @01:36PM (#35877752)
Absolutely, the problem I'm referring to is if Apple changed the kernel and not only built an application on top of it. I don't know, but maybe Apple just built an application on top, which seems sensible.

There are no comments on this comment yet.