WarpOS is a multitasking kernel for the PowerPC (PPC) architecture