diff options
| author | Thomas Huth <thuth@redhat.com> | 2019-05-14 10:24:28 +0200 |
|---|---|---|
| committer | Thomas Huth <thuth@redhat.com> | 2019-08-20 09:11:17 +0200 |
| commit | 853c01672bbe3099c5fa31f56350f781b01187b4 (patch) | |
| tree | 7bc6403ea4516f80cc53d1e2ad5078c965ae1067 /hw/arm | |
| parent | 282467f41904725aaae68e19ea9dece92708ceb4 (diff) | |
hw/core: Add a config switch for the "split-irq" device
The "split-irq" device is currently only used by machines that use
CONFIG_ARMSSE. Let's add a proper CONFIG_SPLIT_IRQ switch for this
so that it only gets compiled when we really need it.
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20190817101931.28386-7-thuth@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'hw/arm')
| -rw-r--r-- | hw/arm/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig index 849195c3f6..6e24c73b54 100644 --- a/hw/arm/Kconfig +++ b/hw/arm/Kconfig @@ -81,6 +81,7 @@ config MUSCA select ARMSSE select PL011 select PL031 + select SPLIT_IRQ config MUSICPAL bool @@ -364,6 +365,7 @@ config MPS2 select OR_IRQ select PL022 # Serial port select PL080 # DMA controller + select SPLIT_IRQ config FSL_IMX7 bool @@ -442,6 +444,7 @@ config ARMSSE select IOTKIT_SYSCTL select IOTKIT_SYSINFO select OR_IRQ + select SPLIT_IRQ select TZ_MPC select TZ_MSC select TZ_PPC |