VirtualBox Guest Service
PCI ID 80ee:cafe · InnoTek Systemberatung GmbH
| Fabricante | InnoTek Systemberatung GmbH |
|---|---|
| ID de fabricante | 80ee |
| ID de dispositivo | cafe |
| ID de hardware de Windows | PCI\VEN_80EE&DEV_CAFE |
| Modalias de Linux | pci:v000080EEd0000CAFE |
| Controlador Linux | vboxguest |
Preguntas frecuentes
¿Qué dispositivo tiene el ID PCI 80ee:cafe?
El ID PCI 80ee:cafe corresponde a «VirtualBox Guest Service» de InnoTek Systemberatung GmbH (ID de fabricante 80ee, ID de dispositivo cafe).
¿Qué controlador de Linux es compatible con VirtualBox Guest Service?
En el kernel Linux 6.12 el dispositivo está asociado al controlador vboxguest (código fuente en drivers/virt/vboxguest). Normalmente se carga automáticamente cuando se detecta el dispositivo.
¿Cómo compruebo si VirtualBox Guest Service está en mi ordenador?
En Linux, lspci -nn | grep -i 80ee:cafe 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_80EE&DEV_CAFE.
¿Cómo veo qué controlador se está usando?
lspci -nnk -d 80ee:cafe muestra el dispositivo con la línea «Kernel driver in use», que indica el controlador activo.