Constant sel4_config::consts::AARCH32_FPU_ENABLE_CONTEXT_SWITCH

pub const AARCH32_FPU_ENABLE_CONTEXT_SWITCH: bool = false;