Ben de toutes façons, le hotplug pci c'est pas grand public (le matos qui fait ça est hors de prix).
Et puis, BSD et GNU/Linux, c'est du grand public