PT_LEVELS

sel4_config::consts

Constant PT_LEVELS 

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