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