Add picotool

This commit is contained in:
Nathan McCarty 2023-08-25 11:50:29 -04:00
parent 9fc0bf3c12
commit 80c3b1f9fc
Signed by: thatonelutenist
SSH Key Fingerprint: SHA256:hwQEcmak9E6sdU9bXc98RHw/Xd1AhpB5HZT7ZSVJkRM
2 changed files with 4 additions and 0 deletions

View File

@ -39,5 +39,7 @@ with nLib; {
ktlint ktlint
]; ];
}) })
# RPi Pico Development
(mkIf devel.pico { home.packages = with unstable; [ pico-sdk ]; })
]; ];
} }

View File

@ -48,6 +48,8 @@ with nLib; {
config.nathan.config.isDesktop; config.nathan.config.isDesktop;
haskell = mkDefaultOption "Haskell Development Utilites" haskell = mkDefaultOption "Haskell Development Utilites"
config.nathan.config.isDesktop; config.nathan.config.isDesktop;
pico = mkDefaultOption "RP2040 Development Utilities"
config.nathan.config.isDesktop;
}; };
# Emacs, enabled by default on desktop # Emacs, enabled by default on desktop
emacs = { emacs = {