OSF/1 MkLinux Open Software Foundation Microkernel Mach (kernel) Tru64 UNIX GNU Hurd Richard Rashid XNU Kernel (operating system) Mac operating systems Darwin (operating system) DECstation Unix System Laboratories Pat Villani List of operating systems Comparison of operating system kernels IBM AIX Timeline of operating systems A/UX Comparison of BSD operating systems Santa Cruz Operation Unix Comparison of operating systems