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 torginus on Sunday March 23, 2025 @04:22PM (#43455608)
Isn't it common to run OSes on desktop/server environment inside hypervisors? That means the OS itself can be transparently virtualized or preempted, and access to physical hardware can be transparently passed to the virtualized OSes. This can be accomplished today with minimal impact to performance on user experience.

The fact that this can be done with OS code not explicitly designed for this signals to me that there are no roadblocks to having a high-performing general purpose microkernel running our computers.

[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by vacuity on Sunday March 23, 2025 @06:31PM (#43456431)
This leads to big units of code, namely multiple OSes, whereas the ideal is being able to use as finely granular units as developers are able to stomach. For example, Xen can work around the issue of device drivers by hosting a minimal OS instance that has drivers, but it is better to be able to run drivers as individual processes. This reduces code duplication and performance overhead.
[ Parent | on HN ]
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 ]