| 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 |
| Siva Durga Prasad Paladugu | a4d8892 | 2016-07-29 15:31:47 +0530 | [diff] [blame] | 4 | CONFIG_IDENT_STRING=" vexpress_aemv8a" |
| Masahiro Yamada | c272699 | 2016-12-07 22:10:26 +0900 | [diff] [blame] | 5 | # CONFIG_MMC is not set |
| Tom Rini | 3337e3a | 2016-11-29 09:14:57 -0500 | [diff] [blame] | 6 | CONFIG_DISTRO_DEFAULTS=y |
| Tom Rini | 7802ce9 | 2016-06-13 09:45:14 -0400 | [diff] [blame] | 7 | CONFIG_BOOTDELAY=1 |
| Lokesh Vutla | 19a9747 | 2016-10-08 14:41:44 -0400 | [diff] [blame] | 8 | # CONFIG_DISPLAY_CPUINFO is not set |
| Lokesh Vutla | 8435179 | 2016-10-11 21:33:46 -0400 | [diff] [blame] | 9 | # CONFIG_DISPLAY_BOARDINFO is not set |
| Thomas Chou | e4aa8ed | 2015-11-11 21:39:33 +0800 | [diff] [blame] | 10 | CONFIG_SYS_PROMPT="VExpress64# " |
| Ryan Harkin | fc04b92 | 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 | 78d1e1d | 2016-04-22 16:41:25 -0400 | [diff] [blame] | 16 | CONFIG_CMD_MEMTEST=y |
| Masahiro Yamada | e9d33e7 | 2017-02-05 10:42:56 +0900 | [diff] [blame] | 17 | CONFIG_CMD_UNZIP=y |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 18 | # CONFIG_CMD_LOADS is not set |
| Tom Rini | 78d1e1d | 2016-04-22 16:41:25 -0400 | [diff] [blame] | 19 | CONFIG_CMD_ARMFLASH=y |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 20 | # CONFIG_CMD_FPGA is not set |
| 21 | # CONFIG_CMD_ITEST is not set |
| 22 | # CONFIG_CMD_SETEXPR is not set |
| 23 | # CONFIG_CMD_NFS is not set |
| Tom Rini | 89cb2b5 | 2016-04-24 17:29:26 -0400 | [diff] [blame] | 24 | CONFIG_CMD_CACHE=y |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 25 | # CONFIG_CMD_MISC is not set |
| Patrick Delaunay | 1acc008 | 2017-01-27 11:00:38 +0100 | [diff] [blame] | 26 | # CONFIG_ISO_PARTITION is not set |
| Patrick Delaunay | bd42a94 | 2017-01-27 11:00:41 +0100 | [diff] [blame] | 27 | # CONFIG_EFI_PARTITION is not set |
| Patrick Delaunay | b331cd6 | 2017-01-27 11:00:42 +0100 | [diff] [blame] | 28 | # CONFIG_PARTITION_UUIDS is not set |
| Ryan Harkin | fc04b92 | 2015-10-09 17:18:02 +0100 | [diff] [blame] | 29 | CONFIG_DM=y |
| Masahiro Yamada | e856bdc | 2017-02-11 22:43:54 +0900 | [diff] [blame] | 30 | CONFIG_MTD_NOR_FLASH=y |
| Tom Rini | aca5cd2 | 2016-09-08 16:11:59 -0400 | [diff] [blame] | 31 | CONFIG_DM_SERIAL=y |
| Simon Glass | 69e173e | 2016-02-22 22:55:42 -0700 | [diff] [blame] | 32 | CONFIG_OF_LIBFDT=y |