Embox RTOS is an open-source RTOS for embedded applications. The main idea of the project is to make Linux software available everywhere including MCUs.