Merge pull request #1247 from dorssel/bump_x64_drivers

Bump x64 drivers from 7.1.10 to 7.1.12

Author: dorssel

Drivers/x64/README.md

@@ -6,7 +6,7 @@ SPDX-License-Identifier: GPL-3.0-only
 
 # Declaration of License Compliance
 
-These drivers are from a binary distribution of VirtualBox, version 7.1.10, provided
+These drivers are from a binary distribution of VirtualBox, version 7.1.12, provided
 by Oracle Corporation, subject to the terms and conditions of the
 [GNU General Public License, version 3](https://www.gnu.org/licenses/gpl-3.0.html).
 

Drivers/x64/VBoxUSB.cat

@@ -39,7 +39,7 @@ Signature="$Windows NT$"
 Class=USB
 ClassGUID={36FC9E60-C465-11CF-8056-444553540000}
 provider=%ORACLE%
-DriverVer = 06/03/2025,7.1.10.19112 ; r169112
+DriverVer = 07/14/2025,7.1.12.19651 ; r169651
 CatalogFile=VBoxUSB.cat
 PnpLockdown=1
 

Drivers/x64/VBoxUSB.inf

@@ -160,8 +160,9 @@ public static async Task<ExportedDevice> GetExportedDevice(UsbDevice device, Can
             {
                 if (data2.Flags.Anonymous.DeviceIsOperatingAtSuperSpeedPlusOrHigher)
                 {
-                    // HACK: Linux vhci_hcd does not (yet) support USB_SPEED_SUPER_PLUS.
-                    // See: https://elixir.bootlin.com/linux/v5.16.9/source/drivers/usb/usbip/vhci_sysfs.c#L288
+                    // NOTE: Linux vhci_hcd supports USB_SPEED_SUPER_PLUS since kernel version 6.12.
+                    // See: https://elixir.bootlin.com/linux/v6.12/source/drivers/usb/usbip/vhci_sysfs.c#L286
+                    // There is no way to figure out the remote kernel version.
                     // Looks like this only influences the reported rate; the USB protocol is supposed to be the same.
                     // So, we simply lie about the speed...