[GSoC - x86_64] Using FreeBSD's UEFI loader for RTEMS static binaries

[Chris Johns]

On 15/06/2018 14:44, Amaan Cheval wrote:
> You can't return to loader.efi from the kernel, from what I can tell.
> loader.efi executes the ELF kernel through a trampoline:
> https://github.com/freebsd/freebsd/blob/433bd38e3a0349f9f89f9d54594172c75b002b74/stand/efi/loader/arch/amd64/elf64_freebsd.c#L197-L200
> 
> Defined here:
> https://github.com/freebsd/freebsd/blob/433bd38e3a0349f9f89f9d54594172c75b002b74/stand/efi/loader/arch/amd64/amd64_tramp.S#L40
> 
> The only way to get back to EFI that I see is through a system reset
> or some dark voodoo that switches back to efi_main directly (the
> mystic arts will likely be harder than just figuring ACPI out, though
> :P).

Yeap, I agree.

Chris