sel4_config::consts

Constant PT_LEVELS

Source 
pub const PT_LEVELS: &str = "2";