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

2016-05-23 Thread Geert Stappers
(Flash)ROM and kernel. Knowing the bootloader is recently installed ( "flashed" ) is it wise to use a newer kernel. So no 3.X, but 4.X. Hope this helps. Groeten Geert Stappers Footnotes [0] an "EFI stub", unlikely syslinux-efi, which is not for arm64 ... see https:

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

2016-05-23 Thread Geert Stappers
severity: -1 normal stop On Mon, May 23, 2016 at 05:33:04PM +, Debian Bug Tracking System wrote: > Processing commands for cont...@bugs.debian.org: > > > severity -1 normal > Failed to set severity of Bug -1 to normal: The 'bug' parameter ("-1") to > Debbugs::Control::set_severity did not pa

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

2016-05-23 Thread Geert Stappers
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