Constant sel4_config::consts::KERNEL_WCET_SCALE

pub const KERNEL_WCET_SCALE: &str = "1";