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/core | |
| 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/core')
| -rw-r--r-- | hw/core/Kconfig | 3 | ||||
| -rw-r--r-- | hw/core/Makefile.objs | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/hw/core/Kconfig b/hw/core/Kconfig index 984143456a..fffb3d62b2 100644 --- a/hw/core/Kconfig +++ b/hw/core/Kconfig @@ -15,3 +15,6 @@ config PLATFORM_BUS config REGISTER bool + +config SPLIT_IRQ + bool diff --git a/hw/core/Makefile.objs b/hw/core/Makefile.objs index ce337bd7c9..bb1afe422a 100644 --- a/hw/core/Makefile.objs +++ b/hw/core/Makefile.objs @@ -19,7 +19,7 @@ common-obj-$(CONFIG_FITLOADER) += loader-fit.o common-obj-$(CONFIG_SOFTMMU) += qdev-properties-system.o common-obj-$(CONFIG_REGISTER) += register.o common-obj-$(CONFIG_OR_IRQ) += or-irq.o -common-obj-$(CONFIG_SOFTMMU) += split-irq.o +common-obj-$(CONFIG_SPLIT_IRQ) += split-irq.o common-obj-$(CONFIG_PLATFORM_BUS) += platform-bus.o common-obj-$(CONFIG_SOFTMMU) += generic-loader.o common-obj-$(CONFIG_SOFTMMU) += null-machine.o |