sel4_config::consts

Constant RISCV_EXT_F

Source 
pub const RISCV_EXT_F: bool = false;