board/rockchip/evb_rk3128/Kconfig

if TARGET_EVB_RK3128

config SYS_BOARD
	default "evb_rk3128"

config SYS_VENDOR
	default "rockchip"

config SYS_CONFIG_NAME
	default "evb_rk3128"

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y

endif