Library for manipulating ELF files --- needed for booting seL4 systems