board/timll/devkit3250/Kconfig - u-boot - Git at Google

 if TARGET_DEVKIT3250

 config SYS_BOARD
 	default "devkit3250"

 config SYS_VENDOR
 	default "timll"

 config SYS_SOC
 	default "lpc32xx"

 config SYS_CONFIG_NAME
 	default "devkit3250"

 endif
	if TARGET_DEVKIT3250

	config SYS_BOARD
	default "devkit3250"

	config SYS_VENDOR
	default "timll"

	config SYS_SOC
	default "lpc32xx"

	config SYS_CONFIG_NAME
	default "devkit3250"

	endif