-# XScale PXA255 JTAG
-# config = monitor jtagxscale
-
-# OpenOCD bit-bang device
-#config = monitor openocd
-
-# Old Default Config
-# config = monitor sbw chipcon nrf ccspi spi jtagarm7 jtag430 jtag430x2 avr
-
-# New default.
-ifeq ($(platform),tilaunchpad)
-config ?= monitor chipcon i2c
-else
-config ?= monitor chipcon spi jtag430 jtag430x2 avr openocd ccspi
-endif
-
-# donb
-ifeq ($(platform),donbfet)
-config=monitor avr spi jscan
-endif