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?

#opensource #retrocomputing #Mach

@eschaton it might be on the CSRG CDs, there's a surprising amount of mach on them