sel4_config::consts

Constant KERNEL_OPT_LEVEL_O3

Source 
pub const KERNEL_OPT_LEVEL_O3: bool = false;