SED Systems Audio Interface Card
PCI ID 10ee:ebf1 · Xilinx Corporation
| Fabricante | Xilinx Corporation |
|---|---|
| ID de fabricante | 10ee |
| ID de dispositivo | ebf1 |
| ID de hardware de Windows | PCI\VEN_10EE&DEV_EBF1 |
| Modalias de Linux | pci:v000010EEd0000EBF1 |
| Controlador Linux | sin controlador para este ID exacto |
Preguntas frecuentes
¿Qué dispositivo tiene el ID PCI 10ee:ebf1?
El ID PCI 10ee:ebf1 corresponde a «SED Systems Audio Interface Card» de Xilinx Corporation (ID de fabricante 10ee, ID de dispositivo ebf1).
¿Qué controlador de Linux es compatible con SED Systems Audio Interface Card?
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 Audio Interface Card está en mi ordenador?
En Linux, lspci -nn | grep -i 10ee:ebf1 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_EBF1.
¿Cómo veo qué controlador se está usando?
lspci -nnk -d 10ee:ebf1 muestra el dispositivo con la línea «Kernel driver in use», que indica el controlador activo.