Re: UEFI bootloader: command ?

[Jason Thorpe <thorpej%me.com@localhost>]

> On Jul 31, 2019, at 9:10 AM, Manuel Bouyer <bouyer%antioche.eu.org@localhost> wrote:
> 
> Hello,
> I have some questions about the UEFI boot loader and customisation
> (I'm working with A20-based boards), and didn't find documentation about
> it.
> First, I have custom devices trees. How are device tree loaded in UEFI world,
> and how can I set the file name to be loaded ?

I added support for this by reading a configuration file (/etc/efiboot.plist), but I haven't written documentation yet.  I have started a boot(8) man page for evbarm, but haven't found the motivation to finish it.  When I am back home tonight, I'll follow-up with an example.

-- thorpej