A lightweight, preemptively multitasking RTOS with priority ceiling.