more progress on peeling away ignores

kernel/src/lib.rs

@@ -134,11 +134,9 @@ pub mod utilities;
 mod config;
 mod kernel;
 mod memop;
-#[flux::ignore]
 mod process_binary;
 #[flux::ignore]
 mod process_loading;
-#[flux::ignore]
 mod process_policies;
 #[flux::ignore]
 mod process_printer;

kernel/src/process.rs

@@ -394,8 +394,7 @@ pub trait Process {
     /// The caller MUST verify this process is unique before calling this
     /// function. This requires a capability to call to ensure that the caller
     /// have verified that this process is unique before trying to start it.
-    #[flux::ignore]
-    fn start(&self, cap: &dyn crate::capabilities::ProcessStartCapability);
+    fn start(&self, cap: &crate::capabilities::ProcessStartCap);
 
     /// Terminates and attempts to restart the process. The process and current
     /// application always terminate. The kernel may, based on its own policy,
@@ -1094,8 +1093,7 @@ impl<'a> TockProc<'a> {
     pub fn set_fault_state(&self) {
         unimplemented!()
     }
-    #[flux::ignore]
-    pub fn start(&self, cap: &dyn crate::capabilities::ProcessStartCapability) {
+    pub fn start(&self, cap: &crate::capabilities::ProcessStartCap) {
         unimplemented!()
     }
     pub fn try_restart(&self, completion_code: Option<u32>) {

kernel/src/process_binary.rs

@@ -126,6 +126,7 @@ pub struct ProcessBinary {
 }
 
 impl ProcessBinary {
+    #[flux::ignore]
     pub(crate) fn create(
         app_flash: &'static [u8],
         header_length: usize,

kernel/src/process_standard.rs

@@ -377,7 +377,7 @@ impl<C: Chip> Process for ProcessStandard<'_, C> {
         }
     }
 
-    fn start(&self, _cap: &dyn crate::capabilities::ProcessStartCapability) {
+    fn start(&self, _cap: &crate::capabilities::ProcessStartCap) {
         // `start()` can only be called on a terminated process.
         if self.get_state() != State::Terminated {
             return;