Add gcc embedded to pico devel

This commit is contained in:
Nathan McCarty 2023-08-25 14:44:39 -04:00
parent ebdd874df7
commit f61da776e6
Signed by: thatonelutenist
SSH Key Fingerprint: SHA256:3elIBybO7zXuCg+/os7OlO2fwfRPXmObQjcHXBf7Hfg
2 changed files with 8 additions and 1 deletions

View File

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

View File

@ -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 ];
})
];
}