sel4_config::consts

Constant RISCV_EXT_D

Source 
pub const RISCV_EXT_D: bool = false;