abf8d9632f
Set CONFIG_COUNTER_FREQUENCY according to COUNTER_FREQUENCY in config header file. Signed-off-by: Peng Fan <peng.fan@nxp.com> [trini: Re-run migration]
16 lines
488 B
Plaintext
16 lines
488 B
Plaintext
CONFIG_ARM=y
|
|
CONFIG_COUNTER_FREQUENCY=24000000
|
|
CONFIG_ARCH_VEXPRESS64=y
|
|
CONFIG_NR_DRAM_BANKS=2
|
|
CONFIG_DEFAULT_DEVICE_TREE="arm_fvp"
|
|
CONFIG_IDENT_STRING=" vexpress_aemv8r64"
|
|
CONFIG_TARGET_VEXPRESS64_BASER_FVP=y
|
|
CONFIG_REMAKE_ELF=y
|
|
CONFIG_BOOTDELAY=3
|
|
CONFIG_USE_BOOTARGS=y
|
|
CONFIG_BOOTARGS="console=ttyAMA0 earlycon=pl011,0x9c090000 rootfstype=ext4 root=/dev/vda2 rw rootwait"
|
|
# CONFIG_DISPLAY_CPUINFO is not set
|
|
CONFIG_SYS_PROMPT="VExpress64# "
|
|
# CONFIG_MMC is not set
|
|
CONFIG_VIRTIO_MMIO=y
|