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,18 @@ impl<'a> Initializer<'a> {
                         )?;
 
                         tcb.tcb_set_timeout_endpoint(temp_fault_ep)?;
+
+                        if obj.extra.passive {
+                            if obj.sc().is_none() {
+                                panic!("A passive task must have its own Scheduling Context.");
+                            }
+                            if obj.bound_notification().is_none() {
+                                panic!("A passive task must have its own Notification.");
+                            }
+                            let bound_notification_cap =
+                                self.orig_cap::<cap_type::Notification>(obj.bound_notification().unwrap().object);
+                            sc.bind_ntfn(bound_notification_cap)?;
+                        }
                     } 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)]