Files: /kernel/platform/device-hotplug.html