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