| # SPDX-License-Identifier: GPL-2.0-or-later |
| |
| config VMAPPLE_AES |
| bool |
| |
| config VMAPPLE_BDIF |
| bool |
| |
| config VMAPPLE_CFG |
| bool |
| |
| config VMAPPLE_VIRTIO_BLK |
| bool |
| |
| config VMAPPLE |
| bool |
| depends on ARM |
| depends on HVF |
| default y if ARM |
| imply PCI_DEVICES |
| select ARM_GICV3 |
| select PLATFORM_BUS |
| select PCI_EXPRESS |
| select PCI_EXPRESS_GENERIC_BRIDGE |
| select PL011 # UART |
| select PL031 # RTC |
| select PL061 # GPIO |
| select GPIO_PWR |
| select PVPANIC_MMIO |
| select VMAPPLE_AES |
| select VMAPPLE_BDIF |
| select VMAPPLE_CFG |
| select MAC_PVG_MMIO |
| select VMAPPLE_VIRTIO_BLK |
