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