colibri is an RTOS subset, designed for small embedded systems, providing a scheduler, semaphores, and some basic IRQ code.