Details about ports - TrampolineRTOS/trampoline GitHub Wiki This part explains how the ports of Trampoline are done. The POSIX port The Cortex STM32F4 Discovery port