I previously developed a linux device driver for an embedded PCI
device. We are moving the device to use PCIe and we're looking to
support hotplugging with this device.

My issue is that I have been unable to find a real good source of what
basic steps must be taken to enable hotplug for a device. Is anyone
aware of a good checklist of what must be built into the driver
(probably certain sysfs information?) and any kernel configuration
files that must be made aware of my device's hotplug intentions.