Jeroen Dekkers jeroen@dekkers.cx writes:
It is what you just said. I don't know of any word with which you can refer both to a multiserver system and a monolithic kernel. We probably have to invent one. :)
What about "operating system `core'"? The Hurd servers (combined with the microkernel) provide the core for the GNU operating system, just like Linux does.
moritz