chore: update seL4-kernel to 13.0.0

DLR-FT · Jul 8, 2024 · 110ccf7 · 110ccf7
1 parent 701ffdb
commit 110ccf7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pkgs/seL4-kernel.nix b/pkgs/seL4-kernel.nix
@@ -36,13 +36,13 @@ assert builtins.elem config (builtins.attrNames seL4-configs);
 
 stdenv.mkDerivation rec {
   pname = "seL4";
-  version = "12.1.0";
+  version = "13.0.0";
 
   src = fetchFromGitHub {
     owner = pname;
     repo = pname;
     rev = version;
-    hash = "sha256-3MSX7f6q6YiBG/FcB/KjeRloInnwTsgLg84m47lD/eI=";
+    hash = "sha256-sFmOFoXwe1AsG0JLI2+QKEitmecxik9lxXUqf4QRysk=";
   };
 
   nativeBuildInputs = [