Don't hide docs for DEFAULT_STACK_SIZE

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Sep 25, 2024 · a43d66e · a43d66e
1 parent d094550
commit a43d66e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git 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
@@ -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