x

nspin · Jul 4, 2024 · 1d60c75 · 1d60c75
1 parent 5e508b3
commit 1d60c75
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/crates/examples/microkit/hello/pds/hello/src/main.rs b/crates/examples/microkit/hello/pds/hello/src/main.rs
@@ -12,7 +12,6 @@ use sel4_microkit::{debug_println, protection_domain, Handler, Infallible};
 #[protection_domain]
 fn init() -> HandlerImpl {
     debug_println!("Hello, World!");
-    panic!();
     HandlerImpl
 }