crates/sel4-microkit: Fix for release configuration

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Aug 9, 2024 · b06db18 · b06db18
1 parent 76034e5
commit b06db18
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs
@@ -35,6 +35,8 @@
 #[cfg(feature = "alloc")]
 extern crate alloc;
 
+use sel4::sel4_cfg;
+
 pub use sel4_microkit_base::*;
 pub use sel4_microkit_macros::protection_domain;
 
@@ -44,6 +46,7 @@ mod printing;
 
 pub mod panicking;
 
+#[sel4_cfg(PRINTING)]
 pub use printing::{debug_print, debug_println};
 
 /// Declares the initialization function, stack size, and, optionally, heap and heap size.