Add PortentaH7 bootloader drivers

boards.txt

@@ -22,6 +22,10 @@ envie_m7.compiler.mbed.extra_ldflags=-lstdc++ -lsupc++ -lm -lc -lgcc -lnosys
 envie_m7.compiler.mbed="{build.variant.path}/libs/libmbed.a"
 envie_m7.vid.0=0x2341
 envie_m7.pid.0=0x025b
+envie_m7.vid.1=0x2341
+envie_m7.pid.1=0x035b
+envie_m7.vid.2=0x2341
+envie_m7.pid.2=0x045b
 
 envie_m7.upload.tool=dfu-util
 envie_m7.upload.protocol=

drivers/portentah7.inf

@@ -0,0 +1,59 @@
+;
+;
+; Installs WinUsb
+;
+
+[Version]
+Signature   = "$Windows NT$"
+Class       = USBDevice
+ClassGUID   = {88BAE032-5A81-49f0-BC3D-A4FF138216D6}
+Provider    = %ManufacturerName%
+CatalogFile = portentah7.cat
+DriverVer   = 03/03/2020,10.48.00.000
+
+; ========== Manufacturer/Models sections ===========
+
+[Manufacturer]
+%ManufacturerName% = Standard,NTamd64
+
+[Standard.NTamd64]
+%DeviceName% =USB_Install, USB\VID_2341&PID_035B&MI_00
+
+; ========== Class definition ===========
+
+[ClassInstall32]
+AddReg = ClassInstall_AddReg
+
+[ClassInstall_AddReg]
+HKR,,,,%ClassName%
+HKR,,NoInstallClass,,1
+HKR,,IconPath,%REG_MULTI_SZ%,"%systemroot%\system32\setupapi.dll,-20"
+HKR,,LowerLogoVersion,,5.2
+
+; =================== Installation ===================
+
+[USB_Install]
+Include = winusb.inf
+Needs   = WINUSB.NT
+
+[USB_Install.Services]
+Include = winusb.inf
+Needs   = WINUSB.NT.Services
+
+[USB_Install.HW]
+AddReg=Dev_AddReg
+
+[Dev_AddReg]
+HKR,,DeviceInterfaceGUIDs,0x10000,"{51de5bfa-d59d-4f3e-9b36-0b4b210dd53f}"
+
+; [DestinationDirs]
+; If your INF needs to copy files, you must not use the DefaultDestDir directive here.  
+; You must explicitly reference all file-list-section names in this section.
+
+; =================== Strings ===================
+
+[Strings]
+ManufacturerName="Arduino"
+ClassName="Universal Serial Bus devices"
+DeviceName="Portenta H7 Bootloader"
+REG_MULTI_SZ = 0x00010000

post_install.bat

@@ -1,5 +1,12 @@
 @echo off
 set ARGS=/SE /SW /SA
+if "%PROCESSOR_ARCHITECTURE%" == "AMD64" (
+  drivers\dpinst-amd64.exe %ARGS%
+) ELSE IF "%PROCESSOR_ARCHITEW6432%" == "AMD64" (
+  drivers\dpinst-amd64.exe %ARGS%
+) ELSE (
+  drivers\dpinst-x86.exe %ARGS%
+)
 
 @echo off
 setlocal