[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"

[device5]
vendor="0x1fc9"
device="0x4022"

[device6]
vendor="0x1fc9"
device="0x4024"
