/lib/pico-sdk/

• ../
• boot
• hardware
• pico-sdk.patch
• pico
• rp2040
• rp2350