[Info-vax] Microkernels

[Simon Clubley]

On 2024-01-05, Lawrence D'Oliveiro <ldo at nz.invalid> wrote:
>
> That can be blamed on the limitations of Mach. People still seem to think 
> microkernels are somehow a good idea, but they really don?t help much, do 
> they?
>

The seL4 and QNX users would probably disagree with you. Strongly.

Microkernels offer excellent security and isolation benefits that
monolithic kernels cannot provide.

It really is a pity Linux didn't go down the microkernel route. I suspect
many of the kernel-level vulnerabilities would be far less severe in such
an environment.

In case you are unaware BTW, the monolithic versus microkernel design was
a _major_ debating point in the early days of Linux.

Simon.

-- 
Simon Clubley, clubley at remove_me.eisner.decus.org-Earth.UFP
Walking destinations on a map are further away than they appear.