Remove SPSR patches from CapDL branch

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Feb 14, 2024 · 5acc001 · 5acc001
1 parent 1f12879
commit 5acc001
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/crates/sel4-capdl-initializer/core/src/arch/mod.rs b/crates/sel4-capdl-initializer/core/src/arch/mod.rs
@@ -36,7 +36,6 @@ mod imp {
     ) {
         *regs.pc_mut() = extra.ip;
         *regs.sp_mut() = extra.sp;
-        *regs.spsr_mut() = extra.spsr;
         for (i, value) in extra.gprs.iter().enumerate() {
             *regs.gpr_mut(i.try_into().unwrap()) = *value;
         }

diff --git a/crates/sel4-capdl-initializer/types/src/spec.rs b/crates/sel4-capdl-initializer/types/src/spec.rs
@@ -174,7 +174,6 @@ pub mod object {
 
         pub ip: Word,
         pub sp: Word,
-        pub spsr: Word,
         pub gprs: Indirect<'a, [Word]>,
 
         pub master_fault_ep: Option<CPtr>,

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -28,7 +28,7 @@ let
 
   capdlCommon = {
     url = "https://github.com/coliasgroup/capdl.git";
-    rev = "8274a1ec7424adc1a3e490a7e1acb114ba5159d0"; # branch coliasgroup
+    rev = "1bd2aa7596ba418be33f314f880682e4fb8ef679"; # branch coliasgroup
     local = localRoot + "/capdl";
   };