sel4_config::consts

Constant KERNEL_OPT_LEVEL

Source 
pub const KERNEL_OPT_LEVEL: &str = "-O2";