nix-shell -p rustup udev.dev pkg-config openssl.dev
cargo install probe-rs-cli   # renamed to probe-rs-tools, it seems
cargo install probe-rs-debugger
cargo install cargo-binutils
# https://github.com/raspberrypi/picoprobe
# https://datasheets.raspberrypi.com/pico/getting-started-with-pico.pdf
cargo run --bin blinky


more useful commands:
nix develop
cargo run --bin heizung
./build.sh
picotool info build/heizung-release.uf2
picotool info -a  # with target in bootsel mode
python rtumaster_pymodbus.py
python download_firmware_via_modbus.py

~/.cargo/bin/probe-rs-cli gdb --chip rp2040
gdb ./target/thumbv6m-none-eabi/debug/heizung
  target remote localhost:1337

cargo-flash --release --chip RP2040