1# SPDX-License-Identifier: GPL-2.0-or-later 2 3config VMAPPLE_AES 4 bool 5 6config VMAPPLE_BDIF 7 bool 8 9config VMAPPLE_CFG 10 bool 11 12config VMAPPLE_VIRTIO_BLK 13 bool 14 15config VMAPPLE 16 bool 17 depends on ARM 18 depends on HVF 19 default y if ARM 20 imply PCI_DEVICES 21 select ARM_GICV3 22 select PLATFORM_BUS 23 select PCI_EXPRESS 24 select PCI_EXPRESS_GENERIC_BRIDGE 25 select PL011 # UART 26 select PL031 # RTC 27 select PL061 # GPIO 28 select GPIO_PWR 29 select PVPANIC_MMIO 30 select VMAPPLE_AES 31 select VMAPPLE_BDIF 32 select VMAPPLE_CFG 33 select MAC_PVG_MMIO 34 select VMAPPLE_VIRTIO_BLK 35