diff --git a/Cargo.lock b/Cargo.lock
index 4d78ad2a2..204eec53e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -449,7 +449,7 @@ checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
 [[package]]
 name = "sel4"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "cfg-if",
  "sel4-config",
@@ -459,7 +459,7 @@ dependencies = [
 [[package]]
 name = "sel4-alloca"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "cfg-if",
 ]
@@ -467,7 +467,7 @@ dependencies = [
 [[package]]
 name = "sel4-bitfield-ops"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "rustversion",
 ]
@@ -475,12 +475,12 @@ dependencies = [
 [[package]]
 name = "sel4-build-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-capdl-initializer"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "log",
  "rkyv",
@@ -498,7 +498,7 @@ dependencies = [
 [[package]]
 name = "sel4-capdl-initializer-types"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "miniz_oxide",
  "rkyv",
@@ -510,7 +510,7 @@ dependencies = [
 [[package]]
 name = "sel4-capdl-initializer-types-derive"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -520,7 +520,7 @@ dependencies = [
 [[package]]
 name = "sel4-config"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "prettyplease 0.3.0",
  "proc-macro2",
@@ -534,7 +534,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-data"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "sel4-build-env",
  "sel4-config-types",
@@ -544,7 +544,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "fallible-iterator",
  "proc-macro2",
@@ -557,7 +557,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-types"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "serde",
 ]
@@ -565,12 +565,12 @@ dependencies = [
 [[package]]
 name = "sel4-ctors-dtors"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-dlmalloc"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "dlmalloc",
  "lock_api",
@@ -579,17 +579,17 @@ dependencies = [
 [[package]]
 name = "sel4-immediate-sync-once-cell"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-immutable-cell"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-initialize-tls"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "cfg-if",
  "sel4-alloca",
@@ -598,7 +598,7 @@ dependencies = [
 [[package]]
 name = "sel4-logging"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "lock_api",
  "log",
@@ -607,12 +607,12 @@ dependencies = [
 [[package]]
 name = "sel4-no-allocator"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-panicking"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "cfg-if",
  "sel4-immediate-sync-once-cell",
@@ -623,12 +623,12 @@ dependencies = [
 [[package]]
 name = "sel4-panicking-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-phdrs"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "sel4-phdrs-constants",
 ]
@@ -636,12 +636,12 @@ dependencies = [
 [[package]]
 name = "sel4-phdrs-constants"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-phdrs-patched"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "sel4-phdrs",
  "sel4-rodata-static",
@@ -650,12 +650,12 @@ dependencies = [
 [[package]]
 name = "sel4-rodata-static"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-root-task"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "sel4",
  "sel4-dlmalloc",
@@ -670,7 +670,7 @@ dependencies = [
 [[package]]
 name = "sel4-root-task-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -680,7 +680,7 @@ dependencies = [
 [[package]]
 name = "sel4-runtime-common"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "cfg-if",
  "sel4",
@@ -696,12 +696,12 @@ dependencies = [
 [[package]]
 name = "sel4-stack"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [[package]]
 name = "sel4-sync"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "lock_api",
  "sel4",
@@ -711,7 +711,7 @@ dependencies = [
 [[package]]
 name = "sel4-sys"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4?rev=86a0dbf4f53e6766734331c5df61851489ed38a1#86a0dbf4f53e6766734331c5df61851489ed38a1"
+source = "git+https://github.com/seL4/rust-sel4?rev=3468529ba4b42e95b2a812ad972060c449bafffe#3468529ba4b42e95b2a812ad972060c449bafffe"
 dependencies = [
  "bindgen",
  "glob",
diff --git a/Cargo.toml b/Cargo.toml
index ac87afcb7..cbef38578 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -13,11 +13,11 @@ members = [
 
 [workspace.dependencies.sel4-capdl-initializer]
 git = "https://github.com/seL4/rust-sel4"
-rev = "86a0dbf4f53e6766734331c5df61851489ed38a1"
+rev = "3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [workspace.dependencies.sel4-capdl-initializer-types]
 git = "https://github.com/seL4/rust-sel4"
-rev = "86a0dbf4f53e6766734331c5df61851489ed38a1"
+rev = "3468529ba4b42e95b2a812ad972060c449bafffe"
 
 [profile.release.package.microkit-tool]
 strip = true