sel4_elf_header

Constant PT_GNU_EH_FRAME

Source
pub const PT_GNU_EH_FRAME: u32 = 0x6474_e550;