sel4_config::consts

Constant MULTIBOOT1_HEADER

Source 
pub const MULTIBOOT1_HEADER: bool = true;