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