| Ryan Harkin | b6b9665 | 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 |
| Siva Durga Prasad Paladugu | 809438d | 2016-07-29 15:31:47 +0530 | [diff] [blame] | 4 | CONFIG_IDENT_STRING=" vexpress_aemv8a" |
| Masahiro Yamada | a5ed4be | 2016-12-07 22:10:26 +0900 | [diff] [blame] | 5 | # CONFIG_MMC is not set |
| Tom Rini | 8db91cf | 2016-11-29 09:14:57 -0500 | [diff] [blame] | 6 | CONFIG_DISTRO_DEFAULTS=y |
| Tom Rini | b937b2e | 2016-06-13 09:45:14 -0400 | [diff] [blame] | 7 | CONFIG_BOOTDELAY=1 |
| Lokesh Vutla | fbad370 | 2016-10-08 14:41:44 -0400 | [diff] [blame] | 8 | # CONFIG_DISPLAY_CPUINFO is not set |
| Lokesh Vutla | 94d95e4 | 2016-10-11 21:33:46 -0400 | [diff] [blame] | 9 | # CONFIG_DISPLAY_BOARDINFO is not set |
| Thomas Chou | 3a077cd | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 10 | CONFIG_SYS_PROMPT="VExpress64# " |
| Ryan Harkin | b6b9665 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 11 | # CONFIG_CMD_CONSOLE is not set |
| 12 | # CONFIG_CMD_IMLS is not set |
| 13 | # CONFIG_CMD_XIMG is not set |
| 14 | # CONFIG_CMD_EDITENV is not set |
| 15 | # CONFIG_CMD_ENV_EXISTS is not set |
| Tom Rini | 0f2dcb9 | 2016-04-22 16:41:25 -0400 | [diff] [blame] | 16 | CONFIG_CMD_MEMTEST=y |
| Ryan Harkin | b6b9665 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 17 | # CONFIG_CMD_LOADS is not set |
| Tom Rini | 0f2dcb9 | 2016-04-22 16:41:25 -0400 | [diff] [blame] | 18 | CONFIG_CMD_ARMFLASH=y |
| Ryan Harkin | b6b9665 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 19 | # CONFIG_CMD_FPGA is not set |
| 20 | # CONFIG_CMD_ITEST is not set |
| 21 | # CONFIG_CMD_SETEXPR is not set |
| 22 | # CONFIG_CMD_NFS is not set |
| Tom Rini | 1d9ac83 | 2016-04-24 17:29:26 -0400 | [diff] [blame] | 23 | CONFIG_CMD_CACHE=y |
| Ryan Harkin | b6b9665 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 24 | # CONFIG_CMD_MISC is not set |
| Patrick Delaunay | 21d3bce | 2017-01-27 11:00:38 +0100 | [diff] [blame] | 25 | # CONFIG_ISO_PARTITION is not set |
| Patrick Delaunay | 8a4f2bd | 2017-01-27 11:00:41 +0100 | [diff] [blame] | 26 | # CONFIG_EFI_PARTITION is not set |
| Patrick Delaunay | 7328709 | 2017-01-27 11:00:42 +0100 | [diff] [blame] | 27 | # CONFIG_PARTITION_UUIDS is not set |
| Ryan Harkin | b6b9665 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 28 | CONFIG_DM=y |
| Tom Rini | afea41d | 2016-09-08 16:11:59 -0400 | [diff] [blame] | 29 | CONFIG_DM_SERIAL=y |
| Simon Glass | a66c541 | 2016-02-22 22:55:42 -0700 | [diff] [blame] | 30 | CONFIG_OF_LIBFDT=y |