News for hackers. Stuff that matters.

A comment on The SeL4 Microkernel: An Introduction [pdf]. Parent comment

Re:The SeL4 Microkernel: An Introduction [pdf] by afiori on Sunday March 23, 2025 @03:16PM (#43455089)
Imo the microness is not about size but about the architecture of running drivers/services in fault-resistant separation from the kernel
[ Parent | on HN ]

There are no comments on this comment yet.