1fc04b923SRyan HarkinCONFIG_ARM=y 2fc04b923SRyan HarkinCONFIG_TARGET_VEXPRESS64_BASE_FVP_DRAM=y 3fc04b923SRyan HarkinCONFIG_SYS_MALLOC_F_LEN=0x2000 4*e4aa8edbSThomas ChouCONFIG_DM_SERIAL=y 5fc04b923SRyan HarkinCONFIG_DEFAULT_DEVICE_TREE="vexpress64" 6*e4aa8edbSThomas ChouCONFIG_SYS_PROMPT="VExpress64# " 7fc04b923SRyan Harkin# CONFIG_CMD_CONSOLE is not set 8fc04b923SRyan Harkin# CONFIG_CMD_IMLS is not set 9fc04b923SRyan Harkin# CONFIG_CMD_XIMG is not set 10fc04b923SRyan Harkin# CONFIG_CMD_EDITENV is not set 11fc04b923SRyan Harkin# CONFIG_CMD_ENV_EXISTS is not set 12fc04b923SRyan Harkin# CONFIG_CMD_LOADS is not set 13fc04b923SRyan Harkin# CONFIG_CMD_FLASH is not set 14fc04b923SRyan Harkin# CONFIG_CMD_FPGA is not set 15fc04b923SRyan Harkin# CONFIG_CMD_ITEST is not set 16fc04b923SRyan Harkin# CONFIG_CMD_SETEXPR is not set 17fc04b923SRyan Harkin# CONFIG_CMD_NFS is not set 18fc04b923SRyan Harkin# CONFIG_CMD_MISC is not set 19fc04b923SRyan HarkinCONFIG_DM=y 20