/lib/pico-sdk/pico/

• ../
• platform.h