CortexM4-RTOS A free RTOS for Cortex-M4 MCUs. The board support package for the RTOS is only available for these boards: STM32F407G-DISC1 Discovery board. Texas Instrument TM4C123G Tiva C series Launchpad.