sel4_config::consts

Constant BENCHMARK_TRACEPOINTS

Source
pub const BENCHMARK_TRACEPOINTS: bool = false;