>Didn't they use a single-server architecture though?
I think so. And I'm pretty sure OSF/1, err... Digital Unix... Tru64... whatever did too. Basically using MACH to provide the low-level primitives in order to make getting a Unix kernel running, and subsequently porting it, easier.