sel4_config::consts

Constant BENCHMARK_GENERIC

Source 
pub const BENCHMARK_GENERIC: bool = false;