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