RISCV_EXT_D

sel4_config::consts

Constant RISCV_EXT_D 

Source 
pub const RISCV_EXT_D: bool = true;