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.
[ Parent
| on HN ]
There are no comments on this comment yet.