Constant sel4_config::consts::KERNEL_OPT_LEVEL_OS

pub const KERNEL_OPT_LEVEL_OS: bool = false;