sel4_config::consts

Constant MAX_NUM_WORK_UNITS_PER_PREEMPTION

Source
pub const MAX_NUM_WORK_UNITS_PER_PREEMPTION: &str = "100";