One of the reasons I’ve been looking at Mach again is that I think a big thing missing from most modern UNIX-like platforms (that aren’t Darwin-based, anyway) is good kernel-level IPC with support for service activation. Lots of systems will just use UNIX domain sockets or something like the abominable DBus on top of them without even really thinking about service activation. So I’m looking at what it might take to implement a Mach-like kernel IPC interface, sans Mach…
Does anyone have a pointer to the final OSF/1 Mach microkernel Open Source release? Right now searching for “osfmk” just gets me Apple xnu and MkLinux sources, and I’d like to find something without either Apple or Linux bits… Maybe Utah Lites has it?