if TARGET_DEVKIT3250
config SYS_BOARD
default "devkit3250"
config SYS_VENDOR
default "timll"
config SYS_SOC
default "lpc32xx"
config SYS_CONFIG_NAME
endif