On Tue, Aug 11, 2015 at 2:15 PM, Haojian Zhuang <haojian.zhuang@linaro.org> wrote:
On Tue, 2015-08-11 at 13:59 +0200, Jerome Forissier wrote:
> On Mon, Aug 10, 2015 at 3:27 PM, Haojian Zhuang
> <haojian.zhuang@outlook.com> wrote:
>         At first, grub is now required to boot Linux.
> OK, I will add Grub to my config. Can you provide some pointers on how
> to generate the required files? It looks like I need grubaa64.efi and
> maybe a grub.cfg?

You could get grubaa64.efi & grub.cfg from the link in below.

Thanks, I'll take grub.cfg as a template. However I'm trying to avoid using pre-built binaries unless I have no other option (e.g., closed source files such as mcuimage.bin or nvme.img). How did you generate grubaa64.efi? With grub-mkimage?