> Mach is not a microkernel either - its *huge*. Something like L4 is. Depends on what you consider to be Mach. The core systems services that make up the Mach microkernel ARE tiny -- less than 10Kloc on the Vax. They're just not very useful in that form -- a barebones Mach microkernel can't even drive a terminal.
The Mach that most people deal with (ie either the NeXT version or the version that DARPA paid for to get a AT&T-free Unix implementation) is the microkernel plus a humungous 4.3BSD personality module. *THAT* is huge. There are several other personalities -- there was a AIX-like one, Convex did one, NeXTstep did some distributed memory extensions, etc -- even a VMS-like personality. Compared to the VMS personality module, the 4.3BSD personality is microscopic...8-) -- db
