| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 1 | CONFIG_ARM=y |
| 2 | CONFIG_TARGET_VEXPRESS64_BASE_FVP_DRAM=y |
| 3 | CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| Thomas Chou | e4aa8ed | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 4 | CONFIG_DM_SERIAL=y |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 5 | CONFIG_DEFAULT_DEVICE_TREE="vexpress64" |
| Thomas Chou | e4aa8ed | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 6 | CONFIG_SYS_PROMPT="VExpress64# " |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 7 | # CONFIG_CMD_CONSOLE is not set |
| 8 | # CONFIG_CMD_IMLS is not set |
| 9 | # CONFIG_CMD_XIMG is not set |
| 10 | # CONFIG_CMD_EDITENV is not set |
| 11 | # CONFIG_CMD_ENV_EXISTS is not set |
| 12 | # CONFIG_CMD_LOADS is not set |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 13 | # CONFIG_CMD_FPGA is not set |
| 14 | # CONFIG_CMD_ITEST is not set |
| 15 | # CONFIG_CMD_SETEXPR is not set |
| 16 | # CONFIG_CMD_NFS is not set |
| 17 | # CONFIG_CMD_MISC is not set |
| 18 | CONFIG_DM=y |