+platform := goodfet
+endif
+
+ifneq (,$(findstring $(board),telosb))
+mcu :=msp430x1612
+platform := goodfet
+CFLAGS := -DDEBUG_LEVEL=3 -DDEBUG_START=1 -DINBAND_DEBUG
+#CFLAGS+= -Werror
+config := monitor spi ccspi
+endif
+
+
+##################################
+## These are experimental boards.
+##################################
+
+ifneq (,$(findstring $(board),donbfet))
+GCC := avr-gcc
+mcu := atmega644p
+CFLAGS=$(DEBUG) -mmcu=$(mcu) -W -Os -mcall-prologues -Wall -Wextra -Wuninitialized -fpack-struct -fshort-enums -funsigned-bitfields
+config := monitor avr spi jscan