We have a device that occasionally does not get mapped to the correct driver. It's a straightforward fix in device manager to correct this, but we'd rather not have end-users going through the steps to fix this. I am looking for some sort of script or something that can be done in an application or something that can fix how this driver is mapped so that end users don't have to go through advanced device manager settings.
I'm aware that devcon is a thing, but it doesn't look like it's meant to be redistributed (and for the latest version, we'd have to install WDK on end-users machines, something that's serious overkill for this one fix we need to do).
Is anyone away of anything else that allows us to programmatically modify which driver a device uses in windows? I've already pinged the device/driver manufacturer over this, but haven't heard back form them.