sel4_config::consts

Constant ENABLE_BENCHMARKS

Source 
pub const ENABLE_BENCHMARKS: bool = false;