From f61da776e6c4349961e91b9233b5513d3f51d40c Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Fri, 25 Aug 2023 14:44:39 -0400
Subject: [PATCH] Add gcc embedded to pico devel

---
 flake.nix                              | 5 +++++
 home-manager/common/programs/devel.nix | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 30c7c67..ff01090 100644
--- a/flake.nix
+++ b/flake.nix
@@ -335,5 +335,10 @@
             '';
           };
         };
+        devShells = {
+          pico = pkgs.mkShell {
+            buildInputs = with pkgs; [ pico-sdk picotool gcc-arm-embedded ];
+          };
+        };
       });
 }
diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index 535695e..36f83d3 100644
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@@ -116,6 +116,8 @@ with nLib; {
       ];
     })
     # RPi Pico Development
-    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk picotool ]; })
+    (mkIf devel.pico {
+      home.packages = with unstable; [ pico-sdk picotool gcc-arm-embedded ];
+    })
   ];
 }