configs/xenguest_arm64_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_POSITION_INDEPENDENT=y
   3 CONFIG_TARGET_XENGUEST_ARM64=y
   4 CONFIG_TEXT_BASE=0x40080000
   5 CONFIG_SYS_MALLOC_LEN=0x2000000
   6 CONFIG_SYS_MALLOC_F_LEN=0x400
   7 CONFIG_NR_DRAM_BANKS=1
   8 CONFIG_DEFAULT_DEVICE_TREE="xenguest-arm64"
   9 CONFIG_SYS_PROMPT="xenguest# "
  10 CONFIG_IDENT_STRING=" xenguest"
  11 CONFIG_SYS_LOAD_ADDR=0x40000000
  12 CONFIG_OF_SYSTEM_SETUP=y
  13 CONFIG_BOOTDELAY=10
  14 CONFIG_SYS_MAXARGS=64
  15 CONFIG_SYS_PBSIZE=1051
  16 # CONFIG_CMD_BDI is not set
  17 # CONFIG_CMD_BOOTD is not set
  18 CONFIG_SYS_BOOTM_LEN=0x800000
  19 # CONFIG_CMD_ELF is not set
  20 # CONFIG_CMD_GO is not set
  21 # CONFIG_CMD_IMI is not set
  22 # CONFIG_CMD_XIMG is not set
  23 # CONFIG_CMD_EXPORTENV is not set
  24 # CONFIG_CMD_IMPORTENV is not set
  25 # CONFIG_CMD_EDITENV is not set
  26 # CONFIG_CMD_SAVEENV is not set
  27 # CONFIG_CMD_ENV_EXISTS is not set
  28 # CONFIG_CMD_CRC32 is not set
  29 # CONFIG_CMD_LZMADEC is not set
  30 # CONFIG_CMD_UNZIP is not set
  31 # CONFIG_CMD_LOADB is not set
  32 # CONFIG_CMD_LOADS is not set
  33 CONFIG_CMD_PVBLOCK=y
  34 # CONFIG_CMD_ECHO is not set
  35 # CONFIG_CMD_ITEST is not set
  36 # CONFIG_CMD_SOURCE is not set
  37 # CONFIG_CMD_SETEXPR is not set
  38 # CONFIG_CMD_NET is not set
  39 # CONFIG_CMD_SLEEP is not set
  40 CONFIG_CMD_EXT4=y
  41 CONFIG_CMD_FAT=y
  42 # CONFIG_MMC is not set
  43 # CONFIG_REQUIRE_SERIAL_CONSOLE is not set
  44 CONFIG_DM_SERIAL=y