sel4_config::consts

Constant AARCH32_FPU_ENABLE_CONTEXT_SWITCH

Source 
pub const AARCH32_FPU_ENABLE_CONTEXT_SWITCH: bool = false;