[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2 08/10] hw/arm: Select GICV3_TCG for sbsa-ref machine
|
From: |
Fabiano Rosas |
|
Subject: |
[PATCH v2 08/10] hw/arm: Select GICV3_TCG for sbsa-ref machine |
|
Date: |
Wed, 8 Feb 2023 16:26:52 -0300 |
This machine hardcodes the creation of the interrupt controller, so
make sure the dependency is explicitly described in the Kconfig.
Signed-off-by: Fabiano Rosas <farosas@suse.de>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
---
hw/arm/Kconfig | 1 +
1 file changed, 1 insertion(+)
diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig
index 552e3d04ee..823f8b11f1 100644
--- a/hw/arm/Kconfig
+++ b/hw/arm/Kconfig
@@ -232,6 +232,7 @@ config SBSA_REF
select PL061 # GPIO
select USB_EHCI_SYSBUS
select WDT_SBSA
+ select ARM_GICV3_TCG
config SABRELITE
bool
--
2.35.3
- [PATCH v2 00/10] Kconfig vs. default devices, Fabiano Rosas, 2023/02/08
- [PATCH v2 02/10] hw/i386: Select E1000E for q35, Fabiano Rosas, 2023/02/08
- [PATCH v2 01/10] hw/i386: Select CONFIG_PARALLEL for PC machines, Fabiano Rosas, 2023/02/08
- [PATCH v2 04/10] hw/i386: Select E1000_PCI for i440fx, Fabiano Rosas, 2023/02/08
- [PATCH v2 07/10] hw/arm: Select XLNX_USB_SUBSYS for xlnx-zcu102 machine, Fabiano Rosas, 2023/02/08
- [PATCH v2 08/10] hw/arm: Select GICV3_TCG for sbsa-ref machine,
Fabiano Rosas <=
- [PATCH v2 03/10] hw/i386: Select VGA_PCI in Kconfig, Fabiano Rosas, 2023/02/08
- [PATCH v2 06/10] hw/arm: Select VIRTIO_BLK for virt machine, Fabiano Rosas, 2023/02/08
- [PATCH v2 05/10] hw/arm: Select VIRTIO_NET for virt machine, Fabiano Rosas, 2023/02/08
- [PATCH v2 09/10] hw/arm: Select e1000e for sbsa-ref machine, Fabiano Rosas, 2023/02/08
- [PATCH v2 10/10] hw/arm: Select VGA_PCI for sbsa-ref machine, Fabiano Rosas, 2023/02/08
- Re: [PATCH v2 00/10] Kconfig vs. default devices, Philippe Mathieu-Daudé, 2023/02/08