CFLAGS += -DTM4C123GH6PM
LD_FILE = $(BOARD_PATH)/tm4c123.ld
# For flash-jlink target
JLINK_DEVICE = TM4C123GH6PM
# flash using openocd
OPENOCD_OPTION = -f board/ti_ek-tm4c123gxl.cfg
flash: flash-openocd