Add pico OpenOCD to the flake.

Signed-off-by: jmug <u.g.a.mariano@gmail.com>

flake.lock

@@ -36,11 +36,36 @@
         "type": "github"
       }
     },
+    "openocd-pico": {
+      "inputs": {
+        "flake-utils": [
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1747440394,
+        "narHash": "sha256-DgIj64RSFyRWyZJUsoLi0KDJd/ObHyKG0X9JrTLPD7I=",
+        "ref": "refs/heads/main",
+        "rev": "71794f5e014d832a19d3b19a7b02abf21d7e6ce6",
+        "revCount": 6,
+        "type": "git",
+        "url": "https://code.jmug.me/mini-rv32/openocd-pico-flake"
+      },
+      "original": {
+        "type": "git",
+        "url": "https://code.jmug.me/mini-rv32/openocd-pico-flake"
+      }
+    },
     "root": {
       "inputs": {
         "flake-utils": "flake-utils",
         "nixpkgs": "nixpkgs",
-        "systems": "systems"
+        "openocd-pico": "openocd-pico",
+        "systems": "systems_2"
       }
     },
     "systems": {
@@ -57,6 +82,21 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "systems_2": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
     }
   },
   "root": "root",

flake.nix

@@ -7,10 +7,17 @@
       url = "github:numtide/flake-utils";
       inputs.systems.follows = "systems";
     };
+    openocd-pico = {
+      url = "git+https://code.jmug.me/mini-rv32/openocd-pico-flake";
+      inputs = {
+        nixpkgs.follows = "nixpkgs";
+        flake-utils.follows = "flake-utils";
+      };
+    };
   };
 
   outputs =
-    { nixpkgs, flake-utils, ... }:
+    { nixpkgs, flake-utils, openocd-pico, ... }:
     flake-utils.lib.eachDefaultSystem (
       system:
       let
@@ -19,12 +26,12 @@
       {
         devShells.default = pkgs.mkShell {
           packages = with pkgs; [
-            gcc
+            gdb
             cmake
             gnumake
             python312Full
             gcc-arm-embedded
-            newlib
+            openocd-pico.packages.${system}.default
           ];
         };
       }