/platforms/chibios/
../
GENERIC_STM32_F303XC
boards
drivers
flash.mk