I have just tested the UnbufferedSerial API example and it works with this board.
Note that the USBtx and USBrx pins,as defined in the example, will be routed via the max32625pico interface which I used to flash the firmware to this board. If you’re wanting to use the usb on this board you have to set up a virtual serial port etc.