OpenRTX/platform/mcu/CMSIS/Device/ST/STM32F4xx/Source
..
system_stm32f4xx.c