Constant sel4_elf_header::PT_LOAD

pub const PT_LOAD: u32 = 1;