1CONFIG_ARM=y
2CONFIG_TARGET_VEXPRESS64_BASE_FVP=y
3CONFIG_SYS_TEXT_BASE=0x88000000
4CONFIG_SYS_MALLOC_F_LEN=0x2000
5CONFIG_NR_DRAM_BANKS=2
6CONFIG_SYS_MEMTEST_START=0x80000000
7CONFIG_SYS_MEMTEST_END=0xff000000
8CONFIG_ENV_SIZE=0x40000
9CONFIG_ENV_SECT_SIZE=0x40000
10CONFIG_IDENT_STRING=" vexpress_aemv8a"
11CONFIG_DISTRO_DEFAULTS=y
12CONFIG_ANDROID_BOOT_IMAGE=y
13CONFIG_BOOTDELAY=1
14CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="console=ttyAMA0 earlycon=pl011,0x1c090000 debug user_debug=31 loglevel=9"
16# CONFIG_USE_BOOTCOMMAND is not set
17# CONFIG_DISPLAY_CPUINFO is not set
18# CONFIG_DISPLAY_BOARDINFO is not set
19CONFIG_SYS_PROMPT="VExpress64# "
20# CONFIG_CMD_CONSOLE is not set
21CONFIG_CMD_ABOOTIMG=y
22# CONFIG_CMD_XIMG is not set
23# CONFIG_CMD_EDITENV is not set
24CONFIG_CMD_MEMTEST=y
25CONFIG_CMD_ARMFLASH=y
26# CONFIG_CMD_LOADS is not set
27# CONFIG_CMD_ITEST is not set
28# CONFIG_CMD_SETEXPR is not set
29# CONFIG_CMD_NFS is not set
30CONFIG_CMD_CACHE=y
31# CONFIG_CMD_SLEEP is not set
32CONFIG_CMD_UBI=y
33# CONFIG_ISO_PARTITION is not set
34# CONFIG_EFI_PARTITION is not set
35CONFIG_ENV_IS_IN_FLASH=y
36CONFIG_ENV_ADDR=0xFFC0000
37CONFIG_DM=y
38# CONFIG_MMC is not set
39CONFIG_MTD=y
40CONFIG_MTD_NOR_FLASH=y
41CONFIG_FLASH_CFI_DRIVER=y
42CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
43CONFIG_SYS_FLASH_PROTECTION=y
44CONFIG_SYS_FLASH_CFI=y
45CONFIG_DM_SERIAL=y
46CONFIG_OF_LIBFDT=y
47