SHORT_BOARD_NAME=proteus_f4
BOARD_CPU=ARCH_STM32F4