flake.nix

@@ -335,15 +335,5 @@
             '';
           };
         };
-        devShells = {
-          pico = pkgs.mkShell {
-            buildInputs = with pkgs; [
-              pico-sdk
-              picotool
-              gcc-arm-embedded
-              minicom
-            ];
-          };
-        };
       });
 }

home-manager/common/programs/devel.nix

@@ -116,13 +116,6 @@ with nLib; {
       ];
     })
     # RPi Pico Development
-    (mkIf devel.pico {
+    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk picotool ]; })
-      home.packages = with unstable; [
-        pico-sdk
-        picotool
-        gcc-arm-embedded
-        minicom
-      ];
-    })
   ];
 }