if TARGET_ARBEL_EVB

config SYS_BOARD
	default "arbel_evb"

config SYS_VENDOR
	default "nuvoton"

config SYS_CONFIG_NAME
	default "arbel"

config SYS_MEM_TOP_HIDE
	hex "Reserved TOP memory"
	default 0x0
	help
	  Reserve memory for ECC/GFX/OPTEE/TIP/CP.

source "board/nuvoton/common/Kconfig"
endif