From fcaf26f35286316d2d8e449d59e0a7ec7fdc2a44 Mon Sep 17 00:00:00 2001
From: Evan Johnson <e5johnso@eng.ucsd.edu>
Date: Sun, 14 Jul 2024 17:07:24 -0700
Subject: [PATCH] more progress on peeling away ignores

---
 kernel/src/lib.rs              | 2 --
 kernel/src/process.rs          | 6 ++----
 kernel/src/process_binary.rs   | 1 +
 kernel/src/process_standard.rs | 2 +-
 4 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs
index bd0f0fb15d..05227bdec9 100644
--- a/kernel/src/lib.rs
+++ b/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;
diff --git a/kernel/src/process.rs b/kernel/src/process.rs
index ff9e8f41c0..767d121b80 100644
--- a/kernel/src/process.rs
+++ b/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>) {
diff --git a/kernel/src/process_binary.rs b/kernel/src/process_binary.rs
index e9597c18a5..44e4ba49f3 100644
--- a/kernel/src/process_binary.rs
+++ b/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,
diff --git a/kernel/src/process_standard.rs b/kernel/src/process_standard.rs
index a48a63af7b..ce42b17c0f 100644
--- a/kernel/src/process_standard.rs
+++ b/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;