sel4_config::consts

Constant KERNEL_BENCHMARK

Source 
pub const KERNEL_BENCHMARK: &str = "none";