| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_ARM=y |
| Linus Walleij | f91afc4 | 2015-01-23 11:50:53 +0100 | [diff] [blame] | 2 | CONFIG_TARGET_VEXPRESS64_BASE_FVP=y |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 3 | CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| Bin Meng | 80df691 | 2015-09-28 05:14:15 -0700 | [diff] [blame] | 4 | CONFIG_DM_SERIAL=y |
| Masahiro Yamada | f1ef2b6 | 2014-09-22 19:59:06 +0900 | [diff] [blame] | 5 | CONFIG_DEFAULT_DEVICE_TREE="vexpress64" |
| Bin Meng | 80df691 | 2015-09-28 05:14:15 -0700 | [diff] [blame] | 6 | CONFIG_SYS_PROMPT="VExpress64# " |
| Joe Hershberger | ef0f2f5 | 2015-06-22 16:15:30 -0500 | [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 |
| 13 | # CONFIG_CMD_FLASH is not set |
| 14 | # CONFIG_CMD_FPGA is not set |
| 15 | # CONFIG_CMD_ITEST is not set |
| 16 | # CONFIG_CMD_SETEXPR is not set |
| 17 | # CONFIG_CMD_NFS is not set |
| 18 | # CONFIG_CMD_MISC is not set |
| Joe Hershberger | c9bb942 | 2015-06-22 16:15:29 -0500 | [diff] [blame] | 19 | CONFIG_DM=y |