The necessarily poor performance of micro-kernel-ish systems was a myth even for a 1970s design (not to diminish Liedkte's work). In the '80s I used fast (real

The necessarily poor performance of micro-kernel-ish systems was a myth even for a 1970s design (not to diminish Liedkte's work). In the '80s I used fast (realtime, multi-access) GEC OS4000 systems, thankful not to need VMS often. Whether or not the Nucleus was strictly a micro-kernel, it was at least the moral equivalent, message-passing, and I think influenced by the RC4000 (which didn't work so well). I've been logged in when the filesystem was rebooted, not that it was often necessary.