Constant sel4_config::consts::BENCHMARK_TRACK_KERNEL_ENTRIES

pub const BENCHMARK_TRACK_KERNEL_ENTRIES: bool = false;