sel4_config::consts

Constant KERNEL_WCET_SCALE

Source 
pub const KERNEL_WCET_SCALE: &str = "1";