News for hackers. Stuff that matters.
Re:The SeL4 Microkernel: An Introduction [pdf] by torginus on Monday March 24, 2025 @03:06AM (#43458314)
You're absolutely right but I was making the point that there's demonstrably no significant downsides to running driver/kernel code in less privileged mode, rather than Ring 0.

There are no comments on this comment yet.