This is a micro-kernel for the ARM architectur supporting SMP and A-SMP operating modes.