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.
[ Parent
| on HN ]
There are no comments on this comment yet.