sel4_config::consts

Constant NO_BENCHMARKS

Source 
pub const NO_BENCHMARKS: bool = true;