# this board uses openocd
PROGRAMMER ?= openocd