diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs
index 64f11d91a..9e0831030 100644
--- a/crates/sel4-microkit/src/lib.rs
+++ b/crates/sel4-microkit/src/lib.rs
@@ -82,7 +82,6 @@ macro_rules! declare_protection_domain {
     };
 }
 
-#[doc(hidden)]
 pub const DEFAULT_STACK_SIZE: usize = 1024
     * if cfg!(panic = "unwind") && cfg!(debug_assertions) {
         128
diff --git a/crates/sel4-root-task/src/lib.rs b/crates/sel4-root-task/src/lib.rs
index 3c08592dc..8a072dd89 100644
--- a/crates/sel4-root-task/src/lib.rs
+++ b/crates/sel4-root-task/src/lib.rs
@@ -55,7 +55,6 @@ macro_rules! declare_root_task {
     };
 }
 
-#[doc(hidden)]
 pub const DEFAULT_STACK_SIZE: usize = 1024
     * if cfg!(panic = "unwind") && cfg!(debug_assertions) {
         128