board/chipspark/popmetal_rk3288/Kconfig - u-boot - Git at Google

 if TARGET_POPMETAL_RK3288

 config SYS_BOARD
 	default "popmetal_rk3288"

 config SYS_VENDOR
 	default "chipspark"

 config SYS_CONFIG_NAME
 	default "popmetal_rk3288"

 config BOARD_SPECIFIC_OPTIONS # dummy
 	def_bool y

 endif
	if TARGET_POPMETAL_RK3288

	config SYS_BOARD
	default "popmetal_rk3288"

	config SYS_VENDOR
	default "chipspark"

	config SYS_CONFIG_NAME
	default "popmetal_rk3288"

	config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y

	endif