Hello,
The Mbed Windows Serial Port Driver has been superseded by DAPLink.
The key guidance from daplink.io is:
"If your computer is running Windows 10, Mac OSX or Linux and using DAPLink firmware version 0240 or later, then drivers are not needed."
Since the customer is on Windows 11, no serial port driver installation is required at all — Windows should recognize the serial COM port automatically once the board is connected via USB.
Regards