This project contains an example on how to use the Raspberry Pi Pico SDK
This project shows how to deploy Zephyr OS to a Raspberry Pi Pico