Open Software Foundation created OSF MK, an evolution of OSF/1, incorporating the OSF Mach kernel (or OSFMicrokernel) based on Mach 3.0 along with a variety
In computer science, a microkernel (often abbreviated as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement
as a server hosted on the Mach microkernel, version 3.0. MkLinux started as a project sponsored by Apple Computer and OSF Research Institute, to get "Linux
considered one of the earliest examples of a microkernel. However, not all versions of Mach are microkernels. Mach's derivatives are the basis of the operating
test cases; and the operating system OSF/1 MK from the OSF Research Institute based on the Mach3.0 microkernel. ODE and TET were made available as open