/config/submodule/pico-sdk/default/

• ../
• module.list
• tinyusb