diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
index adb56a575..b951a56e6 100644
--- a/.github/workflows/sdk.yaml
+++ b/.github/workflows/sdk.yaml
@@ -16,7 +16,7 @@ on:
     branches: [ "main" ]
 
 env:
-  SEL4_VERSION: 14.0.0
+  SEL4_VERSION: c55f50b6e5e5c753ec9295d85ed5dff91a1e1562
 
 # To reduce the load we cancel any older runs of this workflow for the current
 # PR. For deployment to the main branch, the workflow will run on each push,
diff --git a/.linkcheck-ignore.yml b/.linkcheck-ignore.yml
new file mode 100644
index 000000000..2bb72c4fe
--- /dev/null
+++ b/.linkcheck-ignore.yml
@@ -0,0 +1,2 @@
+urls:
+  - "https://developer.arm.com/downloads/*"
diff --git a/.reuse/dep5 b/.reuse/dep5
index b118de009..7c857039d 100644
--- a/.reuse/dep5
+++ b/.reuse/dep5
@@ -4,6 +4,7 @@ Upstream-Contact: seL4 team <support@sel4.systems>
 Source: http://sel4.systems
 
 Files:
+  .linkcheck-ignore.yml
   Cargo.lock
   example/rust/Cargo.lock
   example/rust/support/*.json
diff --git a/Cargo.lock b/Cargo.lock
index 5cfb22bba..605e1535c 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -494,7 +494,7 @@ checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
 [[package]]
 name = "sel4"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "cfg-if",
  "sel4-config",
@@ -504,7 +504,7 @@ dependencies = [
 [[package]]
 name = "sel4-alloca"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "cfg-if",
 ]
@@ -512,7 +512,7 @@ dependencies = [
 [[package]]
 name = "sel4-bitfield-ops"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "rustversion",
 ]
@@ -520,12 +520,12 @@ dependencies = [
 [[package]]
 name = "sel4-build-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-capdl-initializer"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "log",
  "rkyv",
@@ -540,7 +540,7 @@ dependencies = [
 [[package]]
 name = "sel4-capdl-initializer-types"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "miniz_oxide",
  "rkyv",
@@ -552,7 +552,7 @@ dependencies = [
 [[package]]
 name = "sel4-capdl-initializer-types-derive"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -562,7 +562,7 @@ dependencies = [
 [[package]]
 name = "sel4-config"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "prettyplease",
  "proc-macro2",
@@ -576,7 +576,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-data"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "sel4-build-env",
  "sel4-config-types",
@@ -586,7 +586,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "fallible-iterator",
  "proc-macro2",
@@ -599,7 +599,7 @@ dependencies = [
 [[package]]
 name = "sel4-config-types"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "serde",
 ]
@@ -607,12 +607,12 @@ dependencies = [
 [[package]]
 name = "sel4-ctors-dtors"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-dlmalloc"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "dlmalloc",
  "lock_api",
@@ -621,22 +621,22 @@ dependencies = [
 [[package]]
 name = "sel4-elf-header"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-immediate-sync-once-cell"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-immutable-cell"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-initialize-tls"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "cfg-if",
  "sel4-alloca",
@@ -645,7 +645,7 @@ dependencies = [
 [[package]]
 name = "sel4-logging"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "lock_api",
  "log",
@@ -654,7 +654,7 @@ dependencies = [
 [[package]]
 name = "sel4-panicking"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "cfg-if",
  "sel4-immediate-sync-once-cell",
@@ -665,12 +665,12 @@ dependencies = [
 [[package]]
 name = "sel4-panicking-env"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-root-task"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "sel4",
  "sel4-dlmalloc",
@@ -685,7 +685,7 @@ dependencies = [
 [[package]]
 name = "sel4-root-task-macros"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -695,7 +695,7 @@ dependencies = [
 [[package]]
 name = "sel4-runtime-common"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "cfg-if",
  "sel4",
@@ -710,12 +710,12 @@ dependencies = [
 [[package]]
 name = "sel4-stack"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [[package]]
 name = "sel4-sync"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "lock_api",
  "sel4",
@@ -725,7 +725,7 @@ dependencies = [
 [[package]]
 name = "sel4-sys"
 version = "0.1.0"
-source = "git+https://github.com/seL4/rust-seL4?rev=0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4#0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+source = "git+https://github.com/au-ts/rust-seL4?rev=c12da1b41cf17ea86369d2dfe81790598376f78b#c12da1b41cf17ea86369d2dfe81790598376f78b"
 dependencies = [
  "bindgen",
  "glob",
diff --git a/Cargo.toml b/Cargo.toml
index 225db1c11..4d1a48a2a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -12,12 +12,12 @@ members = [
 ]
 
 [workspace.dependencies.sel4-capdl-initializer]
-git = "https://github.com/seL4/rust-seL4"
-rev = "0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+git = "https://github.com/au-ts/rust-seL4"
+rev = "c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [workspace.dependencies.sel4-capdl-initializer-types]
-git = "https://github.com/seL4/rust-seL4"
-rev = "0ac1c27ee6cb9edac7a1a41a69b0d421e170d6a4"
+git = "https://github.com/au-ts/rust-seL4"
+rev = "c12da1b41cf17ea86369d2dfe81790598376f78b"
 
 [profile.release.package.microkit-tool]
 strip = true
diff --git a/DEVELOPER.md b/DEVELOPER.md
index 406b40c60..f4b3a2ba5 100644
--- a/DEVELOPER.md
+++ b/DEVELOPER.md
@@ -120,7 +120,7 @@ It should be noted that while Microkit uses mainline seL4, it is fairly tied to
 specific version used.
 
 For this version of Microkit please use the following commit:
-`14.0.0`.
+`c55f50b6e5e5c753ec9295d85ed5dff91a1e1562`.
 
 ## Building the SDK