[pci]
pci1="0000:01:00.0"
pci2="0000:01:00.1"

[device1]
vendor="0x8086"
device="0x10fb"

[device2]
vendor="0x8086"
device="0x151c"

[device3]
vendor="0x19a2"
device="0x0710"

[device4]
vendor="0x8086"
device="0x1528"
