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. endif