artemist/play
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Update pico SDK

Browse source
This commit is contained in:
Artemis Tosini 2022-10-04 19:24:47 +00:00
parent 94e0f3c6bb
commit a3b29e47c7
Signed by: artemist
GPG key ID: EE5227935FE3FF18
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
rp2040/shell.nix
View file

@ -4,8 +4,8 @@ let
fetchSubmodules = true; fetchSubmodules = true;
owner = "raspberrypi"; owner = "raspberrypi";
repo = "pico-sdk"; repo = "pico-sdk";
rev = "1.3.1"; rev = "1.4.0";
sha256 = "sha256-Xf8QSQIe7XCMunljioC5/MhXcuTmyN7J6pPQFM3ico8="; sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
}; };
in in
mkShell rec { mkShell rec {
@ -21,8 +21,8 @@ mkShell rec {
gcc gcc
libusb libusb
openocd openocd
picotool
gcc-arm-embedded gcc-arm-embedded
picotool
]; ];
PICO_SDK_PATH = sdk_src; PICO_SDK_PATH = sdk_src;