make sure unsolved evar can be reproduced

PLSysSec · Nov 22, 2024 · 99130de · 99130de
1 parent 499dbf2
commit 99130de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/src/process_standard.rs b/kernel/src/process_standard.rs
@@ -1357,7 +1357,7 @@ impl<C: 'static + Chip> ProcessStandard<'_, C> {
     const PROCESS_STRUCT_OFFSET: usize = mem::size_of::<ProcessStandard<C>>();
 
     /// Create a `ProcessStandard` object based on the found `ProcessBinary`.
-    #[flux_rs::trusted] // ICE: UnsolvedEvar
+    // #[flux_rs::trusted] // ICE: UnsolvedEvar
     pub(crate) unsafe fn create<'a>(
         kernel: &'static Kernel,
         chip: &'static C,