Constant sel4_microkit::DEFAULT_STACK_SIZE

source ยท 
pub const DEFAULT_STACK_SIZE: usize = _; // 131_072usize
Expand description

The default stack size used by #[protection_domain].