OpenRTX/platform/mcu/STM32F4xx/boot
..
bsp.cpp
libc_integration.cpp
startup.cpp