From 80c3b1f9fc435eb22a303d2f3446cc6efd0aa5f4 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Fri, 25 Aug 2023 11:50:29 -0400
Subject: [PATCH] Add picotool

---
 home-manager/linux/programs/devel.nix | 2 ++
 home-manager/options.nix              | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/home-manager/linux/programs/devel.nix b/home-manager/linux/programs/devel.nix
index ea7227a..d556f8f 100644
--- a/home-manager/linux/programs/devel.nix
+++ b/home-manager/linux/programs/devel.nix
@@ -39,5 +39,7 @@ with nLib; {
         ktlint
       ];
     })
+    # RPi Pico Development
+    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk ]; })
   ];
 }
diff --git a/home-manager/options.nix b/home-manager/options.nix
index f8bf359..358fc3a 100644
--- a/home-manager/options.nix
+++ b/home-manager/options.nix
@@ -48,6 +48,8 @@ with nLib; {
             config.nathan.config.isDesktop;
           haskell = mkDefaultOption "Haskell Development Utilites"
             config.nathan.config.isDesktop;
+          pico = mkDefaultOption "RP2040 Development Utilities"
+            config.nathan.config.isDesktop;
         };
         # Emacs, enabled by default on desktop
         emacs = {