tinySA/os/hal/boards/ST_STM32VL_DISCOVERY/board.mk