Micrium is a priority-based pre-emptive real-time multitasking operating system kernel for microprocessors.