On 11/30/2015 02:03 PM, Jon Masters wrote: > 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. I have pinged the vendor concerned and received a confirmation of the above, but I don't know if I can share the specifics here yet. Jon. _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx http://lists.fedoraproject.org/admin/lists/arm@xxxxxxxxxxxxxxxxxxxxxxx