CONFIG_MODULE_CONTROL_SYSTEM_MANAGER,devices/control_system/control_system_manager
CONFIG_MODULE_TIME,base/time
CONFIG_MODULE_SCHEDULER,base/scheduler
+ CONFIG_MODULE_CALLOUT,base/callout
CONFIG_MODULE_SPI,comm/spi
CONFIG_MODULE_CC2420,devices/radio/cc2420
+ CONFIG_MODULE_XBEE,devices/radio/xbee
CONFIG_MODULE_UART,comm/uart
CONFIG_MODULE_I2C,comm/i2c
CONFIG_MODULE_MF2_CLIENT,comm/mf2_client
echo "AVARICE_PROGRAMMER = mkII" >> $2
fi
+if grep "CONFIG_AVARICE_PROG_DRAGON=y" $1 > /dev/null 2> /dev/null
+ then
+ echo "AVARICE_PROGRAMMER = dragon" >> $2
+fi
+
echo -n "AVARICE_PORT = " >> $2
echo `grep "CONFIG_AVARICE_PORT" $1 | sed s,CONFIG_AVARICE_PORT=,,` >> $2