SED Systems Common PCI Interface
PCI ID 10ee:ebf2 · Xilinx Corporation
| Vendor | Xilinx Corporation |
|---|---|
| Vendor ID | 10ee |
| Device ID | ebf2 |
| Windows hardware ID | PCI\VEN_10EE&DEV_EBF2 |
| Linux modalias | pci:v000010EEd0000EBF2 |
| Linux driver | no driver with exact ID |
Frequently asked questions
Which device has PCI ID 10ee:ebf2?
PCI ID 10ee:ebf2 is “SED Systems Common PCI Interface” made by Xilinx Corporation (vendor ID 10ee, device ID ebf2).
Which Linux driver supports SED Systems Common PCI Interface?
Linux kernel 6.12 lists no driver for this exact ID. Many devices are still supported through their device class, such as AHCI, NVMe, xHCI or HD Audio controllers; others need a vendor driver. Overview of device classes and their drivers
How do I check whether SED Systems Common PCI Interface is in my computer?
On Linux, lspci -nn | grep -i 10ee:ebf2 shows the device if it is present. On Windows, open Device Manager, then Properties → Details → Hardware Ids; it appears as PCI\VEN_10EE&DEV_EBF2.
How do I see which driver is currently in use?
lspci -nnk -d 10ee:ebf2 lists the device with a “Kernel driver in use” line showing the active driver.