DEFAULT_STACK_SIZE

sel4_root_task

Constant DEFAULT_STACK_SIZE 

Source 
pub const DEFAULT_STACK_SIZE: usize = _; // 131_072usize
Expand description

The default stack size used by #[root_task].