sel4_config::consts

Constant BENCHMARK_TRACK_UTILISATION

Source
pub const BENCHMARK_TRACK_UTILISATION: bool = false;