... Date: 24 Oct 1996 22:57:16 GMT Organization: GMD - German National Research Center for Information Technology Lines: 89 Message-ID: References: X-Newsreader: Tin 1.1 PL5 sutti@ibm.net wrote: [.. ... But these are 1st generation MKs, based on the idea to take a monolithic (Unix) kernel and migrate code out of the kernel into user-level servers. ... In the Mach kernel, a considerable amount of time and space is spent to implant SMP mutexes into a basically non-reentrant standard Unix kernel. ...