"correct" way to generate EFI binaries?

[Andreas Schwab]

On Jul 20 2020, Palmer Dabbelt wrote:

> On Fri, 10 Jul 2020 16:08:38 PDT (-0700), Jim Wilson wrote:
>> On Wed, Jul 8, 2020 at 10:33 AM Jim Wilson <jimw@sifive.com> wrote:
>>> On Wed, Jul 8, 2020 at 10:23 AM Alexander von Gluck IV
>>> <kallisti5@unixzen.com> wrote:
>>> > > riscv64 ( no Pe in bfd :-( )
>>>
>>> I know that some work was done on this, but I don't know if it was
>>> finished, I don't know if they have copyright assignments, and I've
>>> never seen patches.  If they do exist, they are probably somewhere in
>>> the edkii (aka edk2) source tree.
>>> https://riscv.org/wp-content/uploads/2016/01/Tues1415-RISC-V-and-UEFI.pdf
>>
>> I just found this while looking for something else.
>>     https://github.com/riscv/riscv-uefi-edk2-docs
>> This has binaries for a x86_64-linux cross riscv64 toolchain that
>> contains UEFI support.  I've never tried any of this stuff myself.
>
> IIRC they had some tool that converts ELF to PE for the UEFI stuff.

grub has grub-mkimage for that.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."