/platforms/chibios/boards/GENERIC_STM32_F407XE/board/