mirror of
https://github.com/dingusdev/dingusppc.git
synced 2025-02-19 09:30:50 +00:00
Grackle allows attaching different PCI devices. This change allows attach multiple of the same PCI device. To make the name unique in the machine map, the name of the PCI slot is appended to the device name.