Constant sel4_config::consts::KERNEL_OPT_LEVEL

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