+
+ pico-sdk = pkgs.pico-sdk.overrideAttrs (old: rec {
+ version = "1.5.1";
+ src = pkgs.fetchFromGitHub {
+ fetchSubmodules = true;
+ owner = "raspberrypi";
+ repo = "pico-sdk";
+ rev = version;
+ hash = "sha256-GY5jjJzaENL3ftuU5KpEZAmEZgyFRtLwGVg3W1e/4Ho=";
+ };
+ });
+
+in pkgs.callPackage tattlekey { inherit pico-sdk; }