Install Pico SDK first. See Getting started with Raspberry Pi Pico-series to learn how to do that.
Then:
mkdir build; cd build
PICO_SDK_PATH=/home/$(whoami)/pico/pico-sdk cmake ..
make -j 8- Press and hold BOOTSEL button.
- Plug the USB cable into the computer.
- Release the BOOTSEL.
- Mount
/dev/sda1(for example, usingdolphinfile manager; it is just one click there). - Copy
.uf2file generated intoRP2350 Removable Device. - Raspberry Pi Pico 2W (rp2350) should start blinking.