Hi, I have noticed that the GENERIC kernel in 11-STABLE includes the PCI_HP option, and the hotplug bits seem to be present in the kernel, but I don’t see any userland support for it. Is it somewhat complete and in that case am I missing something? Thanks! Borja.