board/nuvoton/arbel_evb/Kconfig

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 0xB000000
	help
	  Reserve memory for ECC/GFX/VCD/ECE.

endif