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 > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
