News for hackers. Stuff that matters.
Re:ACM Software System Award Given to seL4 Microkernel by darksaints on Saturday May 06, 2023 @02:09PM (#35843817)
True, but as with every other OS project out there, nobody is gonna use it without userland. The kernel itself is already pretty mature, but now the effort should be put into making a full fledged OS out of it.

There are no comments on this comment yet.