sel4_config::consts

Constant DISABLE_WFI_WFE_TRAPS

Source
pub const DISABLE_WFI_WFE_TRAPS: bool = false;