The first step to running seL4 is to load it into RAM on the target system and jump to the entry point.
One way to do this is to load the instructions and data (binary blob) into the correct location in RAM and begin execution at the required address.
Alternatively, an image format may be used which contains meta data regarding program sections, their required locations in RAM, and the address of the first instruction to execute (entry point).
A typical format for such a file is the ELF format. This file can be loaded into RAM at any location. From there, it is the responsibility of the boot loader to load the various program sections to their prescribed address and jump to the prescribed entry point.
On Wed, 2015-04-08 at 00:34 +0000, Sebastian Lau wrote:
On the http://sel4.systems website, it says that like qnx, sel4 expects to be elf-loaded. Could you please explain what that means?
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.