Constant sel4_common::sel4_config::CONFIG_NUM_PRIORITIES

pub const CONFIG_NUM_PRIORITIES: usize = 256;