From a3b29e47c76e9313be3f1f317c80edce2e495ef7 Mon Sep 17 00:00:00 2001
From: Artemis Tosini <me@artem.ist>
Date: Tue, 4 Oct 2022 19:24:47 +0000
Subject: [PATCH] Update pico SDK

---
 rp2040/shell.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/rp2040/shell.nix b/rp2040/shell.nix
index 275bf11..cc46e84 100644
--- a/rp2040/shell.nix
+++ b/rp2040/shell.nix
@@ -4,8 +4,8 @@ let
     fetchSubmodules = true;
     owner = "raspberrypi";
     repo = "pico-sdk";
-    rev = "1.3.1";
-    sha256 = "sha256-Xf8QSQIe7XCMunljioC5/MhXcuTmyN7J6pPQFM3ico8=";
+    rev = "1.4.0";
+    sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
   };
 in
 mkShell rec {
@@ -21,8 +21,8 @@ mkShell rec {
     gcc
     libusb
     openocd
-    picotool
     gcc-arm-embedded
+    picotool
   ];
 
   PICO_SDK_PATH = sdk_src;