Open
Description
Raspberry Pi Pico board support includes the USBMIDI.h header from MBed OS, but it doesn't seem to work. When USBMIDI::write is called it prints a garbage character to the serial console and crashes.
I expected it either to work or result in some kind of compile error.
Sample code attached.