Constant sel4_config::consts::KERNEL_FWHOLE_PROGRAM

pub const KERNEL_FWHOLE_PROGRAM: bool = false;