Constant sel4_config::consts::NUM_PRIORITIES

pub const NUM_PRIORITIES: &str = "256";