VirtualBox Guest Service
PCI ID 80ee:cafe · InnoTek Systemberatung GmbH
| Fabricant | InnoTek Systemberatung GmbH |
|---|---|
| ID fabricant | 80ee |
| ID périphérique | cafe |
| ID matériel Windows | PCI\VEN_80EE&DEV_CAFE |
| Modalias Linux | pci:v000080EEd0000CAFE |
| Pilote Linux | vboxguest |
Questions fréquentes
Quel périphérique possède l’ID PCI 80ee:cafe ?
L’ID PCI 80ee:cafe correspond à « VirtualBox Guest Service » de InnoTek Systemberatung GmbH (ID fabricant 80ee, ID périphérique cafe).
Quel pilote Linux prend en charge VirtualBox Guest Service ?
Dans le noyau Linux 6.12, le périphérique est associé au pilote vboxguest (sources dans drivers/virt/vboxguest). Le pilote est normalement chargé automatiquement à la détection du périphérique.
Comment savoir si VirtualBox Guest Service est présent dans mon ordinateur ?
Sous Linux, lspci -nn | grep -i 80ee:cafe affiche le périphérique s’il est présent. Sous Windows, ouvrez le Gestionnaire de périphériques, puis Propriétés → Détails → ID du matériel ; il apparaît sous la forme PCI\VEN_80EE&DEV_CAFE.
Comment voir quel pilote est utilisé ?
lspci -nnk -d 80ee:cafe affiche le périphérique avec la ligne « Kernel driver in use » indiquant le pilote actif.