FLASHER = $(RIOTBOARD)/mbed_lpc1768/dist/flash.sh
DEBUGGER =
DEBUGSERVER =

FLASHFILE ?= $(BINFILE)
FFLAGS = $(FLASHFILE)
DEBUGGER_FLAGS =

# define the default port depending on the host OS
PORT_DARWIN ?= $(firstword $(sort $(wildcard /dev/tty.SLAB_USBtoUART*)))