1if TARGET_DEVKIT3250 2 3config SYS_BOARD 4 default "devkit3250" 5 6config SYS_VENDOR 7 default "timll" 8 9config SYS_SOC 10 default "lpc32xx" 11 12config SYS_CONFIG_NAME 13 default "devkit3250" 14 15endif 16