Constant sel4_config::consts::ENABLE_BENCHMARKS

pub const ENABLE_BENCHMARKS: bool = false;