RISCV_EXT_F

sel4_config::consts

Constant RISCV_EXT_F 

Source 
pub const RISCV_EXT_F: bool = true;