crates/sel4-capdl-initializer: Fix bug

Fix bug in cap mint optimization. Signed-off-by: Nick Spinale <[email protected]>
seL4 · Mar 5, 2024 · f4d0c2d · f4d0c2d
1 parent 0404ca7
commit f4d0c2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/crates/sel4-capdl-initializer/core/src/lib.rs b/crates/sel4-capdl-initializer/core/src/lib.rs
@@ -657,8 +657,8 @@ impl<'a, N: ObjectName, D: Content, M: GetEmbeddedFrame, B: BorrowMut<[PerObject
                             Some(cap) => {
                                 let orig = self.orig_cap::<cap_type::Endpoint>(cap.object);
                                 let badge = cap.badge;
-                                let rights = (&cap.rights).into();
-                                if badge == 0 || rights == CapRights::all() {
+                                let rights = cap.rights.into();
+                                if badge == 0 && rights == CapRights::all() {
                                     orig
                                 } else {
                                     let src = init_thread::slot::CNODE.cap().relative(orig);