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