sel4_config::consts

Constant KERNEL_X86_IBRS_BASIC

Source
pub const KERNEL_X86_IBRS_BASIC: bool = false;