Constant sel4_common::sel4_config::CONFIG_PT_LEVELS

source · 
pub const CONFIG_PT_LEVELS: usize = 3;