picoprobe development environment

picoprobe-dev-env-shell.nix

{
  pkgs ?
  import (builtins.fetchGit {
    name = "nixos-22.11-2023_01_14";
    url = "https://github.com/nixos/nixpkgs/";
    ref = "refs/heads/nixos-22.11";
    rev = "e285dd0ca97c264003867c7329f0d1f4f028739c";
  }) {}
}:

with pkgs;

let
  pico-sdk-with-submodules = pico-sdk.overrideAttrs(old: {
    src = fetchFromGitHub {
      owner = "raspberrypi";
      repo = old.pname;
      rev = old.version;
      sha256 = "sha256-ehuacSExS+VWick9iQJpF+ZP85b7ZIuztXVULsqpMPI=";
      fetchSubmodules=true;
    };
  });
in
mkShell {
  buildInputs = [
    gcc-arm-embedded-10
    gnumake cmake
    udisks
    python3Packages.pyserial
  ];

  PICO_SDK_PATH="${pico-sdk-with-submodules}/lib/pico-sdk";
}