sel4_config::consts

Constant KERNEL_FWHOLE_PROGRAM

Source 
pub const KERNEL_FWHOLE_PROGRAM: bool = false;