diff --git a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
index 658ec66..e95b340 100644
--- a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
+++ b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
@@ -27,8 +27,9 @@
     "r5",
     "r6",
     "r7",
-    "lr",
+    "r14",
     "tpidrurw",
+    "tpidruro"
 };
 
 /* assert that register_names correspond to seL4_UserContext */
@@ -50,4 +51,5 @@
 compile_time_assert(r7_correct_position, offsetof(seL4_UserContext, r7)     == 15 * sizeof(seL4_Word));
 compile_time_assert(r14_correct_position, offsetof(seL4_UserContext, r14)   == 16 * sizeof(seL4_Word));
 compile_time_assert(tpidrurw_correct_position, offsetof(seL4_UserContext, tpidrurw) == 17 * sizeof(seL4_Word));
+compile_time_assert(tpidruro_correct_position, offsetof(seL4_UserContext, tpidruro) == 18 * sizeof(seL4_Word));