Files
RedBear-OS/vboxd/config.toml
T
bjorn3 de7677604e Use hex instead of decimal in all config.toml
This matches the way basically everyone prints PCI ids
2024-01-20 17:59:38 +01:00

7 lines
145 B
TOML

[[drivers]]
name = "VirtualBox Guest Device"
class = 0x08
vendor = 0x80EE
device = 0xCAFE
command = ["vboxd", "$NAME", "$BAR0", "$BAR1", "$IRQ"]