Device ID for PCI platform

[Connor Davis <connojd@xxxxx>]

Hi all,

AIS is working on getting modified winpv drivers signed. To this point we've been using device ID 0001 for the platform device, but I think it is best to use a different one so no unwanted collisions occur on windows update. What is the process for new device ID assignment?

BTW, the code was recently open sourced for our Windows dom0 research. The drivers are located here[0] in case you want to peek at it.

Thanks,
Connor

[0] https://github.com/Bareflank/MicroV/tree/mono/drivers/winpv