Hi Yevgeny,

The elfloader tool is part of seL4_tools, and is only relevant for ARM-based seL4 projects (not x86). A seL4 project (that includes the seL4 microkernel, libraries and build system and tools), uses the elfloader as the seL4-tools first piece of code that runs on the hardware, which loads/maps the kernel and user applications before jumping to the kernel entry point.

Examples of seL4 projects that use elfloader are seL4test [1] and seL4-tutorials [2]. You can use either as a reference/template.

There is no documentation for the elfloader tool currently, but feel free to ask any questions here.

[1] https://wiki.sel4.systems/Testing [2] https://github.com/SEL4PROJ/sel4-tutorials/

Cheers, Hesham

On 29/06/17 14:35, Yevgeny Lavrov wrote:

Hi

Is there any instruction on how to compile and use elfloader-tool? More specifically: I want to link seL4 image with other image to try out on i.MX6 platform.

Thanks

---

Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel