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