pico is recognized

Dependencies:   max32625pico mbed SerialInterface USBDevice

Revision:
6:7d1372f75a71
Child:
8:c7d662d45727
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/USBDevice.lib	Sat Jan 25 15:59:13 2020 +0000
@@ -0,0 +1,1 @@
+https://developer.mbed.org/teams/MaximIntegrated/code/USBDevice/#17ac7abb27a7