From 282467f41904725aaae68e19ea9dece92708ceb4 Mon Sep 17 00:00:00 2001 From: Thomas Huth Date: Tue, 14 May 2019 08:13:28 +0200 Subject: hw/core: Add a config switch for the "or-irq" device MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The "or-irq" device is only used by certain machines. Let's add a proper config switch for it so that it only gets compiled when we really need it. Reviewed-by: Philippe Mathieu-Daudé Message-Id: <20190817101931.28386-6-thuth@redhat.com> Signed-off-by: Thomas Huth --- hw/arm/Kconfig | 3 +++ 1 file changed, 3 insertions(+) (limited to 'hw/arm/Kconfig') diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig index ab65ecd216..849195c3f6 100644 --- a/hw/arm/Kconfig +++ b/hw/arm/Kconfig @@ -292,6 +292,7 @@ config RASPI config STM32F205_SOC bool select ARM_V7M + select OR_IRQ select STM32F2XX_TIMER select STM32F2XX_USART select STM32F2XX_SYSCFG @@ -360,6 +361,7 @@ config MPS2 select LAN9118 select MPS2_FPGAIO select MPS2_SCC + select OR_IRQ select PL022 # Serial port select PL080 # DMA controller @@ -439,6 +441,7 @@ config ARMSSE select IOTKIT_SECCTL select IOTKIT_SYSCTL select IOTKIT_SYSINFO + select OR_IRQ select TZ_MPC select TZ_MSC select TZ_PPC -- cgit v1.2.3