Isaac,

The Linux kernel has support via the EFISTUB module to be loaded directly as an EFI bootloader, which if I recall correctly, also allows it to chainload another OS and be used as a fully-fledged multiboot bootloader. Is it practical to do something similar with seL4? Obviously on non-UEFI platforms it'd be entirely different code, but still.

When you ask if this is practical, I'll ask back what you'd expect be the practical advantage over using existing solutions? Or more general, what problem you are trying to solve? Use seL4 in CoreBoot? Or just run a seL4 based system without using U-Boot and the ELF-Loader? Axel