sel4_config::consts

Constant KERNEL_SKIM_WINDOW

Source 
pub const KERNEL_SKIM_WINDOW: bool = true;