Signed-off-by: Ákos Kovács <akoskov...@gmx.com>
---
 hw/pci/Kconfig |    8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 hw/pci/Kconfig

diff --git a/hw/pci/Kconfig b/hw/pci/Kconfig
new file mode 100644
index 0000000..31a755d
--- /dev/null
+++ b/hw/pci/Kconfig
@@ -0,0 +1,8 @@
+config PCI
+    bool
+
+menu "PCI"
+    config PCI_HOTPLUG
+        bool "Enable hotplugging for PCI devices"
+        depends on PCI
+endmenu
-- 
1.7.10.4


Reply via email to