From a081adb946c59b6747d058426d77db92b9aa4d85 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 26 Nov 2025 14:35:32 +1100
Subject: [PATCH] Update to Microkit 2.1.0

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 flake.nix          | 16 +++++++++-------
 solutions/Makefile |  2 +-
 tutorial/Makefile  |  2 +-
 website/build.sh   |  2 +-
 website/develop.sh |  2 +-
 5 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/flake.nix b/flake.nix
index 858b710..5ded2f9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,7 +11,7 @@
 
   outputs = { nixpkgs, ... }:
     let
-      microkit-version = "2.0.1";
+      microkit-version = "2.1.0";
       microkit-platforms = {
         aarch64-darwin = "macos-aarch64";
         x86_64-darwin = "macos-x86-64";
@@ -38,12 +38,14 @@
 
               env.MICROKIT_SDK = pkgs.fetchzip {
                 url = "https://github.com/seL4/microkit/releases/download/${microkit-version}/microkit-sdk-${microkit-version}-${microkit-platform}.tar.gz";
-                hash = {
-                  aarch64-darwin = "sha256-bFFyVBF2E3YDJ6CYbfCOID7KGREQXkIFDpTD4MzxfCE=";
-                  x86_64-darwin = "sha256-tQWrI5LRp05tLy/HIxgN+0KFJrlmOQ+dpws4Fre+6E0=";
-                  x86_64-linux = "sha256-YpgIAXWB8v4Njm/5Oo0jZpRt/t+e+rVTwFTJ8zr2Hn4=";
-                  aarch64-linux = "sha256-GwWDRJalJOpAYCP/qggFOHDh2e2J1LspWUsyjopECYA=";
-                }.${system} or (throw "Unsupported system: ${system}");
+                hash =
+                  {
+                    aarch64-darwin = "sha256-SzwdHm0O++5MCZ4+a8o12JOSWJLHl4QK/TU3jyLFNo8=";
+                    x86_64-darwin = "sha256-l5XKyNMhR1ofHeumvJqdl+yNSKX0/beevBmuoCxDRnU=";
+                    x86_64-linux = "sha256-6I3usfpwEe50xxo4u1Bv206CPJJIhZGtwak8doVk+GE=";
+                    aarch64-linux = "sha256-hw3C2lffXTeqpVL/L9j6hG4HnBqZHsGiZwK6UQVlJ6s=";
+                  }
+                  .${system} or (throw "Unsupported system: ${system}");
               };
 
               nativeBuildInputs = with pkgs; [
diff --git a/solutions/Makefile b/solutions/Makefile
index cd4c28b..da54065 100644
--- a/solutions/Makefile
+++ b/solutions/Makefile
@@ -1,7 +1,7 @@
 # If you would like to choose a different path to the SDK, you can pass it as an
 # argument.
 ifndef MICROKIT_SDK
-	MICROKIT_SDK := ../microkit-sdk-2.0.1
+	MICROKIT_SDK := ../microkit-sdk-2.1.0
 endif
 
 # In case the default compiler triple doesn't work for you or your package manager
diff --git a/tutorial/Makefile b/tutorial/Makefile
index cd4c28b..da54065 100644
--- a/tutorial/Makefile
+++ b/tutorial/Makefile
@@ -1,7 +1,7 @@
 # If you would like to choose a different path to the SDK, you can pass it as an
 # argument.
 ifndef MICROKIT_SDK
-	MICROKIT_SDK := ../microkit-sdk-2.0.1
+	MICROKIT_SDK := ../microkit-sdk-2.1.0
 endif
 
 # In case the default compiler triple doesn't work for you or your package manager
diff --git a/website/build.sh b/website/build.sh
index a2ee8fc..728ace1 100755
--- a/website/build.sh
+++ b/website/build.sh
@@ -2,7 +2,7 @@
 
 export TUTORIAL_WORD_URL='trustworthy.systems/projects/microkit/tutorial/word'
 export TUTORIAL_DOWNLOADS_URL='trustworthy.systems/Downloads/microkit_tutorial'
-export MICROKIT_VERSION='2.0.1'
+export MICROKIT_VERSION='2.1.0'
 
 mdbook build
 
diff --git a/website/develop.sh b/website/develop.sh
index 523f6fd..0262a9c 100755
--- a/website/develop.sh
+++ b/website/develop.sh
@@ -2,7 +2,7 @@
 
 export TUTORIAL_WORD_URL='trustworthy.systems/projects/microkit/tutorial/word'
 export TUTORIAL_DOWNLOADS_URL='trustworthy.systems/Downloads/microkit_tutorial'
-export MICROKIT_VERSION='2.0.1'
+export MICROKIT_VERSION='2.1.0'
 
 mdbook serve --open