SED Systems Common PCI Interface
PCI ID 10ee:ebf2 · Xilinx Corporation
| Fabricant | Xilinx Corporation |
|---|---|
| ID fabricant | 10ee |
| ID périphérique | ebf2 |
| ID matériel Windows | PCI\VEN_10EE&DEV_EBF2 |
| Modalias Linux | pci:v000010EEd0000EBF2 |
| Pilote Linux | aucun pilote pour cet ID exact |
Questions fréquentes
Quel périphérique possède l’ID PCI 10ee:ebf2 ?
L’ID PCI 10ee:ebf2 correspond à « SED Systems Common PCI Interface » de Xilinx Corporation (ID fabricant 10ee, ID périphérique ebf2).
Quel pilote Linux prend en charge SED Systems Common PCI Interface ?
Le noyau Linux 6.12 ne référence aucun pilote pour cet ID exact. De nombreux périphériques restent pris en charge via leur classe, comme les contrôleurs AHCI, NVMe, xHCI ou HD Audio ; d’autres nécessitent un pilote du fabricant. Aperçu des classes de périphériques et de leurs pilotes
Comment savoir si SED Systems Common PCI Interface est présent dans mon ordinateur ?
Sous Linux, lspci -nn | grep -i 10ee:ebf2 affiche le périphérique s’il est présent. Sous Windows, ouvrez le Gestionnaire de périphériques, puis Propriétés → Détails → ID du matériel ; il apparaît sous la forme PCI\VEN_10EE&DEV_EBF2.
Comment voir quel pilote est utilisé ?
lspci -nnk -d 10ee:ebf2 affiche le périphérique avec la ligne « Kernel driver in use » indiquant le pilote actif.