sel4_config::consts

Constant KERNEL_OPT_LEVEL

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