sel4_elf_header

Constant PT_LOAD

Source
pub const PT_LOAD: u32 = 1;