See "Getting started with Raspberry Pi Pico" Put "pico-sdk", "pico-examples" and "pico-extras" on the same level with this project folder. Set environmental variables ...