Constant sel4_config::consts::KERNEL_BENCHMARK

pub const KERNEL_BENCHMARK: &str = "none";