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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
