sel4_config::consts

Constant MULTIBOOT2_HEADER

Source 
pub const MULTIBOOT2_HEADER: bool = true;