SED Systems Common PCI Interface
PCI ID 10ee:ebf2 · Xilinx Corporation
| Fabricante | Xilinx Corporation |
|---|---|
| ID de fabricante | 10ee |
| ID de dispositivo | ebf2 |
| ID de hardware de Windows | PCI\VEN_10EE&DEV_EBF2 |
| Modalias de Linux | pci:v000010EEd0000EBF2 |
| Controlador Linux | sin controlador para este ID exacto |
Preguntas frecuentes
¿Qué dispositivo tiene el ID PCI 10ee:ebf2?
El ID PCI 10ee:ebf2 corresponde a «SED Systems Common PCI Interface» de Xilinx Corporation (ID de fabricante 10ee, ID de dispositivo ebf2).
¿Qué controlador de Linux es compatible con SED Systems Common PCI Interface?
El kernel Linux 6.12 no registra ningún controlador para este ID exacto. Muchos dispositivos funcionan igualmente gracias a su clase, como los controladores AHCI, NVMe, xHCI o HD Audio; otros necesitan un controlador del fabricante. Resumen de clases de dispositivo y sus controladores
¿Cómo compruebo si SED Systems Common PCI Interface está en mi ordenador?
En Linux, lspci -nn | grep -i 10ee:ebf2 muestra el dispositivo si está presente. En Windows, abre el Administrador de dispositivos y ve a Propiedades → Detalles → Id. de hardware; aparece como PCI\VEN_10EE&DEV_EBF2.
¿Cómo veo qué controlador se está usando?
lspci -nnk -d 10ee:ebf2 muestra el dispositivo con la línea «Kernel driver in use», que indica el controlador activo.