> Microkernels - they compromise speed for the sake of
> security and stability
Making tradeoffs between speed and security/stability is
pretty much the basis of operating systems research. It's
rather unfortunate that deadends like Mach have turned
people off microkernels, systems like L4 demonstrate that
speed didn't be affected significantly to get the benefits
of application specific resource policies.