sel4_config::consts

Constant NUM_PRIORITIES

Source 
pub const NUM_PRIORITIES: &str = "256";