On Wed, Jan 24, 2018 at 3:02 AM, Phil Endecott wrote: > I don't know exactly what you have to do install Debian on that. > It might be possible to install the -AR1's UEFI, as Paul suggests in > his second email, but if I were you I'd be more tempted to try > TianoCore because the Gigabyte EFI is so awful; I know that others did > this before the -AR1 was released.
Do you have any pointers to TianoCore for the Gigabyte MP30-AR0/1? I couldn't find any mention of it in edk2-platforms. PS: anyone planning on packaging edk2-platforms? We have edk2 in Debian but it only supports virtual platforms. -- bye, pabs https://wiki.debian.org/PaulWise
