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