Re:ACM Software System Award Given to seL4 Microkernel
by jacquesm on Saturday May 06, 2023 @02:24PM
(#35843961)
The last thing you want to do is to add niche features, those really should be handled in different processes. MM, IPC, interrupts, process creation/destruction/scheduling. That's about it.
[ Parent
| on HN ]
There are no comments on this comment yet.