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