board/nvidia/jetson-tk1/Kconfig - u-boot - Git at Google

 if TARGET_JETSON_TK1

 config SYS_BOARD
 	default "jetson-tk1"

 config SYS_VENDOR
 	default "nvidia"

 config SYS_CONFIG_NAME
 	default "jetson-tk1"

 endif
	if TARGET_JETSON_TK1

	config SYS_BOARD
	default "jetson-tk1"

	config SYS_VENDOR
	default "nvidia"

	config SYS_CONFIG_NAME
	default "jetson-tk1"

	endif