Bug#820167: wishlist: Jessie kernel for ARM64 with UEFI bootROM

[Geert Stappers <stappers@stappers.nl>]

Control: severity -1 wishlist
Control: reassign -1 linux-image
Control: found -1 3.16.0-4-arm64
Control: retitle -1 wishlist: Jessie kernel for ARM64 with UEFI bootROM


Previous subject: Re: Bug#820167: syslinux-efi: Kernel does not boot on Gigabyte MP30-AR0 system (APM X-Gene 1)

On Mon, May 23, 2016 at 02:35:35PM -0700, Ronald Maas wrote:
> 
> Most distributions based on kernel 4.X are able to boot successfully,
> including Debian Testing and Linaro Debian 16.03

So there is no urgent problem ...


} But Debian 8.4 is the latest release version - so would be nice to
> have it working too

Ah, that is the wish. Now I understand the "problem" better.

I don't known what is needed to get it:
 * Changing the bootROM
 * Changing a parameter in current bootROM
 * Changing kernel

I myself would go for Debian 9.


Groeten
Geert Stappers
-- 
Leven en laten leven