diff options
Diffstat (limited to 'arch/tile/Kconfig')
-rw-r--r-- | arch/tile/Kconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/arch/tile/Kconfig b/arch/tile/Kconfig index e32b0c23c4c8..635e1bfb1c5d 100644 --- a/arch/tile/Kconfig +++ b/arch/tile/Kconfig | |||
@@ -339,6 +339,14 @@ config NO_IOPORT | |||
339 | 339 | ||
340 | source "drivers/pci/Kconfig" | 340 | source "drivers/pci/Kconfig" |
341 | 341 | ||
342 | config HOTPLUG | ||
343 | bool "Support for hot-pluggable devices" | ||
344 | ---help--- | ||
345 | Say Y here if you want to plug devices into your computer while | ||
346 | the system is running, and be able to use them quickly. In many | ||
347 | cases, the devices can likewise be unplugged at any time too. | ||
348 | One well-known example of this is USB. | ||
349 | |||
342 | source "drivers/pci/hotplug/Kconfig" | 350 | source "drivers/pci/hotplug/Kconfig" |
343 | 351 | ||
344 | endmenu | 352 | endmenu |