diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash
index 77cf9ba336..d59b2c3607 100644
--- a/repos/base-sel4/ports/sel4.hash
+++ b/repos/base-sel4/ports/sel4.hash
@@ -1 +1 @@
-d006609b01c27aa7f016b2eb8740b1afb3587354
+c59276cc6e3aa138a1e56af8c8a56ce64cf327b8
diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port
index 6a8005e0c5..7d5e39810a 100644
--- a/repos/base-sel4/ports/sel4.port
+++ b/repos/base-sel4/ports/sel4.port
@@ -3,8 +3,8 @@ VERSION   := git
 DOWNLOADS := sel4.git
 
 URL(sel4) := https://github.com/seL4/seL4.git
-# master branch, version 9.0
-REV(sel4) := f58d22af8b6ce8bfccaa4bac393a31cad670e7c1
+# master branch, version 9.0.1
+REV(sel4) := 0dd40b6c43a290173ea7782b97afbbbddfa23b36
 DIR(sel4) := src/kernel/sel4
 
 $(call check_tool,python)