sel4_sys::seL4_BootInfoID

Constant SEL4_BOOTINFO_HEADER_FDT

Source 
pub const SEL4_BOOTINFO_HEADER_FDT: Type = 6;