Servers by jDrones

HAL support for USB High Speed (480Mb)?

Anyone can quickly confirm whether the current ardupilot HAL generator supports high-speed USB ?
Going over hwdef.dat files in the repo, I only see full speed (12Mb) USB ever used.

(Intended platform - STM32F7xx with external ULPI PHY IC)

Servers by jDrones