Constant sel4_config::consts::BENCHMARK_TRACK_UTILISATION

pub const BENCHMARK_TRACK_UTILISATION: bool = false;