vexpress64: Enable VIRTIO_MMIO and RTC_PL031 in the base model

The Arm EBBR (Embedded Base Boot Requirements) require that the time
and basic networking EFI interfaces are available and working, so long
as the hardware has an RTC and network interface.

Arm FVPs typically have a memory-mapped PL031 RTC and a VIRTIO_NET
device defined in the device tree, so "imply" these in the Kconfig for
the FVP base model to simplify creating EBBR-compliant firmware.

Signed-off-by: Peter Hoyes <Peter.Hoyes@arm.com>

diff --git a/board/armltd/vexpress64/Kconfig b/board/armltd/vexpress64/Kconfig
index bd15cbe..cf99809 100644 (file)
--- a/board/armltd/vexpress64/Kconfig
+++ b/board/armltd/vexpress64/Kconfig
@@ -12,8 +12,13 @@ config SYS_CONFIG_NAME
 config VEXPRESS64_BASE_MODEL
        bool
        select SEMIHOSTING
+       imply VIRTIO_MMIO
        select VIRTIO_BLK if VIRTIO_MMIO
        select VIRTIO_NET if VIRTIO_MMIO
+       select DM_ETH if VIRTIO_NET
+       imply RTC_PL031
+       select DM_RTC if RTC_PL031
+       imply EFI_SET_TIME if DM_RTC
        select LINUX_KERNEL_IMAGE_HEADER
        select POSITION_INDEPENDENT