diff --git a/Cargo.lock b/Cargo.lock
index a3cfcb4..460e644 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -417,7 +417,7 @@ checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
 [[package]]
 name = "sel4"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "cfg-if",
  "sel4-config",
@@ -427,12 +427,12 @@ dependencies = [
 [[package]]
 name = "sel4-bitfield-ops"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 
 [[package]]
 name = "sel4-bitfield-parser"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "pest",
  "pest_derive",
@@ -442,12 +442,12 @@ dependencies = [
 [[package]]
 name = "sel4-build-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 
 [[package]]
 name = "sel4-config"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "sel4-config-data",
  "sel4-config-generic",
@@ -458,7 +458,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-data"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "lazy_static",
  "sel4-build-env",
@@ -469,7 +469,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-generic"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "fallible-iterator",
  "proc-macro2",
@@ -481,7 +481,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-generic-types"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "serde",
 ]
@@ -489,7 +489,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "sel4-config-data",
  "sel4-config-generic",
@@ -498,7 +498,7 @@ dependencies = [
 [[package]]
 name = "sel4-dlmalloc"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "dlmalloc",
  "lock_api",
@@ -507,17 +507,17 @@ dependencies = [
 [[package]]
 name = "sel4-elf-header"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 
 [[package]]
 name = "sel4-immediate-sync-once-cell"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 
 [[package]]
 name = "sel4-initialize-tls"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "cfg-if",
 ]
@@ -525,7 +525,7 @@ dependencies = [
 [[package]]
 name = "sel4-panicking"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "cfg-if",
  "rustc_version",
@@ -537,12 +537,12 @@ dependencies = [
 [[package]]
 name = "sel4-panicking-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 
 [[package]]
 name = "sel4-root-task"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "sel4",
  "sel4-dlmalloc",
@@ -557,7 +557,7 @@ dependencies = [
 [[package]]
 name = "sel4-root-task-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -567,7 +567,7 @@ dependencies = [
 [[package]]
 name = "sel4-runtime-common"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "cfg-if",
  "sel4",
@@ -580,7 +580,7 @@ dependencies = [
 [[package]]
 name = "sel4-rustfmt-helper"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "which",
 ]
@@ -588,7 +588,7 @@ dependencies = [
 [[package]]
 name = "sel4-sync"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "lock_api",
  "sel4",
@@ -598,7 +598,7 @@ dependencies = [
 [[package]]
 name = "sel4-sys"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-sel4#be7d740dc70e8f438b31cb6a069261a5b5af109d"
+source = "git+https://github.com/seL4/rust-sel4#4f13dd2ec30cd6542d6cd23f0b7cb70f64ff321e"
 dependencies = [
  "bindgen",
  "glob",