| 1 | # SPDX-License-Identifier: GPL-2.0-or-later |
| 2 | |
| 3 | config VMAPPLE_AES |
| 4 | bool |
| 5 | |
| 6 | config VMAPPLE_BDIF |
| 7 | bool |
| 8 | |
| 9 | config VMAPPLE_CFG |
| 10 | bool |
| 11 | |
| 12 | config VMAPPLE_VIRTIO_BLK |
| 13 | bool |
| 14 | |
| 15 | config 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 |