MutekH has support for Mips32 processors with multiprocessors, preemption and user mode features.