Mklinux: Microkernel Linux for the Power Macintosh