Constant sel4_config::consts::NO_BENCHMARKS

pub const NO_BENCHMARKS: bool = true;