On 11/30/2015 06:04 AM, Florian Weimer wrote:
On 11/09/2015 03:13 PM, Richard W.M. Jones wrote:
>
> Someone I know is after an ARM 64 bit development board, and pointed
> me at this. I'd never heard of it :-(
>
>
http://b2b.gigabyte.com/products/product-page.aspx?pid=5422#ov
>
> Has anyone tried it?
I downloaded the firmware update. It contains U-Boot and a custom Linux
kernel (without sources). An UEFI update is not included, as far as I
can tell. I suspect the firmware does not support UEFI as-is, and it is
expected that you boot a UEFI implementation through U-Boot. The
release notes contain some references to TianoCore, but I couldn't find
any actual code matching that in the firmware update.
An updated version of the board is coming, with UEFI provided.
Jon.