[ipxe-devel] Unable to boot Linux kernel for arm64 architecture

[Andre]

Hi,

it's a MP30-AR1 board from Gigabyte with a X-Gene 1 SoC.
The firmware is the latest release F01.

But as I wrote in my original post this doesn't happen with GRUB2-EFI, 
so I don't believe that it is a firmware issue.

Best regards
Andre

Am 17.03.2017 um 15:09 schrieb Mark Rutland:
> Hi,
>
> Are you able to say which platform this is on?
>
> Thanks,
> Mark.
>
>