News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.