USB CDC (Communication Device Class) ACM (Abstract Control Model) libraries for Giga

I am looking for a fast communication between Giga and PC over USB. Serial communication over USB-C are limited to 2 000 000 bauds, but USB2 can go 100 times faster.

STM32H747XI USB2 on Giga and Portenta H7 is capable in 480 Mbps or at least in 50% of 480 Mbps using USB CDC ACM library for mbed OS. Can you add a library and an example for Giga or provide instructions how to use USB CDC ACM on Giga?

Sorry, it has been a while since I played with some of this.

If I remember correctly the main USB connector to the PC may be only USBFS or 12MBS per second max. And I am pretty sure that when the device is configured for Serial output it uses CDC ACM.

I Believe the USB Host connector is USBHS or the 480MBS.

Although I could be wrong, and they are reversed.

Edit, but if I plug my GIGA into one of my Teensy 4.x boards, in this case a MicroMOD,
and have debug information turned on, I see:

USB HID Device Info Program

This Sketch shows information about plugged in HID devices

*** You can control the output by simple character input to Serial ***
R - Turns on or off showing the raw data
C - Toggles showing changed data only on or off
<anything else> - toggles showing the Hid formatted breakdown of the data

USB2 PLL running
 reset waited 6
USBHS_ASYNCLISTADDR = 0
USBHS_PERIODICLISTBASE = 20005000
periodictable = 20005000
port change: 10001803
    connect
  begin reset
port change: 10001005
  port enabled
  end recovery
new_Device: 12 Mbit/sec
new_Pipe
Pipe control OUT  @ 20005080

Which implies it is configured to run at USBHS...

The USB section in the documentation mentions three different libraries including: Arduino_USBHostMbed5

I believe they have some support for USB Serial in that library. Their HID library supports a few devices.

I have my own library that was playing with to add additional support:
KurtE/GIGA_USBHostMBed5_devices: Some USB Host device extension to Arduino_USBHostMBed5 library (github.com)

It has Serial support, for plugging into it several different USB to Serial adapters, like FTDI. However, I have not spent any time trying to fully optimize this.