Files: /kernel/device-hotplug.html