diff --git a/repos/base-sel4/ports/sel4_tools.hash b/repos/base-sel4/ports/sel4_tools.hash
index 08bae2e11..9674e4691 100644
--- a/repos/base-sel4/ports/sel4_tools.hash
+++ b/repos/base-sel4/ports/sel4_tools.hash
@@ -1 +1 @@
-3b20dfecead271767ede321161ef471396c800f2
+4ee1b92defa12f61ad427c341e7f046324319e90
diff --git a/repos/base-sel4/ports/sel4_tools.port b/repos/base-sel4/ports/sel4_tools.port
index e6cf25632..a93994ab5 100644
--- a/repos/base-sel4/ports/sel4_tools.port
+++ b/repos/base-sel4/ports/sel4_tools.port
@@ -4,7 +4,7 @@ DOWNLOADS := sel4_tools.git
 
 URL(sel4_tools) := https://github.com/skalk/seL4_tools.git
 # Rev 9.0.x genode branch
-REV(sel4_tools) := dd8068bfd4acfa2c3142398521c40bea093bbe04
+REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7
 DIR(sel4_tools) := src/tool/sel4_tools
 
 $(call check_tool,python)