MkLinux A legacy distribution for PowerPC systems that runs the Linux kernel as a server on top of the Mach microkernel .

MkLinux A distribution for PowerPC systems that runs the Linux kernel as a server on top of the Mach microkernel .
