Compare commits

..

No commits in common. "81addfc96ddc523baf8403fcfce652c694395812" and "ebdd874df7d9e9df8529c64150687093750a40ec" have entirely different histories.

2 changed files with 1 additions and 18 deletions

View File

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

View File

@ -116,13 +116,6 @@ with nLib; {
]; ];
}) })
# RPi Pico Development # 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
];
})
]; ];
} }