Вы можете просто заменить 32-битные файлы на 64-битные. Оно работает. Мои 32-битные установочные файлы требовали дополнительной библиотеки DLL - я WdfCoinstaller01009.dll
только что добавил отсутствующий файл, теперь он работает.
Лучше добавить отдельную 64-битную папку - x64:
[SourceDisksNames.x86] 1=%Disk_Description%,"silabser.sys",,\x86 [SourceDisksNames.amd64] 1=%Disk_Description%,"silabser.sys",,\x64
Какова была моя история: мне нужно было использовать карту с индивидуальным дизайном - от Windows XP 32 bit - на Windows 7 64 bit, но у меня не было драйвера устройства. Я использовал утилиту Driver Backup и создал установочные файлы драйвера устройства. Однако этот пакет содержит 32-битные DLL. Я нашел 64-битную версию этих публичных библиотек и изменил INF.