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

[Chris Johns]

On 15/06/2018 03:25, Amaan Cheval wrote:
> 
> For shutdown and whatnot, I imagine I'll need to get our ACPI support
> out there too, so that may be on the backburner for a little bit.
> 

What happens if you return to loader.efi?

Does it return to the EFI OS?

Chris