Constant sel4_config::consts::BENCHMARK_GENERIC

pub const BENCHMARK_GENERIC: bool = false;