tinySA/os/ports/GCC/MSP430/port.mk