VirtualBox Graphics Adapter
PCI ID 80ee:beef · InnoTek Systemberatung GmbH
| Vendor | InnoTek Systemberatung GmbH |
|---|---|
| Vendor ID | 80ee |
| Device ID | beef |
| Windows hardware ID | PCI\VEN_80EE&DEV_BEEF |
| Linux modalias | pci:v000080EEd0000BEEF |
| Linux driver | vboxvideo |
Frequently asked questions
Which device has PCI ID 80ee:beef?
PCI ID 80ee:beef is “VirtualBox Graphics Adapter” made by InnoTek Systemberatung GmbH (vendor ID 80ee, device ID beef).
Which Linux driver supports VirtualBox Graphics Adapter?
In Linux kernel 6.12 the device is bound to the driver vboxvideo (source under drivers/gpu/drm/vboxvideo). The driver is normally loaded automatically when the device is detected.
How do I check whether VirtualBox Graphics Adapter is in my computer?
On Linux, lspci -nn | grep -i 80ee:beef shows the device if it is present. On Windows, open Device Manager, then Properties → Details → Hardware Ids; it appears as PCI\VEN_80EE&DEV_BEEF.
How do I see which driver is currently in use?
lspci -nnk -d 80ee:beef lists the device with a “Kernel driver in use” line showing the active driver.