Constant sel4_config::consts::MAX_NUM_WORK_UNITS_PER_PREEMPTION

pub const MAX_NUM_WORK_UNITS_PER_PREEMPTION: &str = "100";