Hot-Plug PCIe Support

[Eric van Gyzen]

FreeBSD Folks:

I am currently scoping the effort to add hot-plug PCIe support to
FreeBSD.  Is anyone else currently working on this or aware of any
design, code, or other effort available outside the tree?

FYI, here are perhaps the most interesting references I could find:

https://wiki.freebsd.org/PCIHotplug

https://wiki.freebsd.org/IdeasPage#Implementing_PCI-Hotplug_and_ExpressCard_support

https://lists.freebsd.org/pipermail/freebsd-current/2015-April/055290.html

https://lists.freebsd.org/pipermail/freebsd-ia32/2010-February/date.html

Please reply on freebsd-hackers at FreeBSD.org to minimize cross-posting.

Thanks in advance.

Eric