On 14/05/2019 12.35, Philippe Mathieu-Daudé wrote: > On 5/14/19 12:00 PM, Thomas Huth wrote: >> 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. >> >> Signed-off-by: Thomas Huth <th...@redhat.com> >> --- >> hw/arm/Kconfig | 2 ++ >> hw/core/Kconfig | 3 +++ >> hw/core/Makefile.objs | 2 +- >> hw/pci-host/Kconfig | 3 ++- >> 4 files changed, 8 insertions(+), 2 deletions(-) >> >> diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig >> index af8cffde9c..0bb3bbe9d3 100644 >> --- a/hw/arm/Kconfig >> +++ b/hw/arm/Kconfig >> @@ -277,6 +277,7 @@ config RASPI >> config STM32F205_SOC >> bool >> select ARM_V7M >> + select OR_IRQ >> select STM32F2XX_TIMER >> select STM32F2XX_USART >> select STM32F2XX_SYSCFG >> @@ -424,6 +425,7 @@ config ARMSSE >> select IOTKIT_SECCTL >> select IOTKIT_SYSCTL >> select IOTKIT_SYSINFO >> + select OR_IRQ >> select TZ_MPC >> select TZ_MSC >> select TZ_PPC > > You missed the MPS2* boards
No, the MPS2 boards "select ARMSSE", so this gets added via the above hunk there. But as mentioned in the reply to Peter, it's likely better to add it there, too. Thomas
