/platforms/chibios/boards/GENERIC_AT32_F415XX/