seL4 tool to load ELF files.