Bootelf vs elfloader with respect to SEL4

seL4 kernel
1

Hi Team,
I have started working on SEL4, porting to a latest ARM64 based hardware.
In majority of hardware’s using bootelf or bootm. Now i want to understand when using bootelf, which is uboot elfloader. Still we need “elfloader” from SEL4 ?. If yes, when bootelf is doing different from SEL4 elfloader ?

2

This thread might give you some more insight: Boot, ELF loading, and initial task

But to answer your question, the elfloader isn’t a bootloader on ARM. Typically, the kernel (once booted from a bootloader) will handle platform initialization, booting CPU cores, and some general initialization work with physical memory. seL4 does not do this part, however, and this is the responsibility of the elfloader (RISCV and ARM).

So when you boot seL4, you’re booting the elfloader first, so that it can then handle control over to the kernel.

3

Thank You for the info