>My *opinion*, from reading Tannenbaum, is that he meant device drivers >being part of the kernel does not interfere with being a microkernel. Yes, device drivers are within the category of system processes and are therefore not part of the (mikro)kernel. Michael Noisternig