It would probably be some variant of BSD or GNU would have poured a lot more into GNU Mach. I don't think we would be without a viable FOSS OS ecosystem....