/os/ports/GCC/ARMCMx/STM32F3xx/