sel4-capdl-initializer: lazy SC rebind for passive

Implements lazy Scheduling Context rebind for passive tasks inside
the capDL initialiser.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>

Author: dreamliner787-9

crates/sel4-capdl-initializer/src/initialize.rs

@@ -833,6 +833,20 @@ impl<'a> Initializer<'a> {
                         )?;
 
                         tcb.tcb_set_timeout_endpoint(temp_fault_ep)?;
+
+                        if obj.extra.passive {
+                            if let Some(bound_sc) = obj.sc() {
+                                if let Some(bound_ntfn) = obj.bound_notification() {
+                                    let bound_ntfn_cap =
+                                        self.orig_cap::<cap_type::Notification>(bound_ntfn.object);
+                                    sc.bind_ntfn(bound_ntfn_cap)?;
+                                } else {
+                                    panic!("A passive task must have its own Notification.");
+                                }
+                            } else {
+                                panic!("A passive task must have its own Scheduling Context.");
+                            }
+                        }
                     } else {
                         let fault_ep = sel4::CPtr::from_bits(obj.extra.master_fault_ep.as_ref().unwrap().to_sel4());
 

crates/sel4-capdl-initializer/types/src/spec.rs

@@ -429,6 +429,8 @@ pub mod object {
         pub gprs: Vec<Word>,
 
         pub master_fault_ep: Option<Word>,
+
+        pub passive: bool,
     }
 
     #[derive(Debug, Clone, Eq, PartialEq, IsObject, HasCapTable)]