Constant sel4_config::consts::KERNEL_OPT_LEVEL_O2

pub const KERNEL_OPT_LEVEL_O2: bool = true;