configs/vexpress_aemv8r_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_COUNTER_FREQUENCY=24000000
   3 CONFIG_ARCH_VEXPRESS64=y
   4 CONFIG_NR_DRAM_BANKS=2
   5 CONFIG_DEFAULT_DEVICE_TREE="arm_fvp"
   6 CONFIG_IDENT_STRING=" vexpress_aemv8r64"
   7 CONFIG_TARGET_VEXPRESS64_BASER_FVP=y
   8 CONFIG_REMAKE_ELF=y
   9 CONFIG_BOOTDELAY=3
  10 CONFIG_USE_BOOTARGS=y
  11 CONFIG_BOOTARGS="console=ttyAMA0 earlycon=pl011,0x9c090000 rootfstype=ext4 root=/dev/vda2 rw rootwait"
  12 # CONFIG_DISPLAY_CPUINFO is not set
  13 CONFIG_SYS_PROMPT="VExpress64# "
  14 CONFIG_SYS_MAXARGS=64
  15 CONFIG_SYS_CBSIZE=512
  16 CONFIG_SYS_PBSIZE=541
  17 # CONFIG_MMC is not set
  18 CONFIG_VIRTIO_MMIO=y