sel4_config::consts

Constant RISCV_USE_CLINT_MTIME

Source
pub const RISCV_USE_CLINT_MTIME: bool = false;