Bug#820167: syslinux-efi: Kernel does not boot on Gigabyte MP30-AR0 system (APM X-Gene 1)
severity -1 normal stop On Mon, May 23, 2016 at 07:44:22AM -0700, Ronald Maas wrote: > > EFI stub: Booting Linux Kernel... [0] > L3c Cache: 8MB > [0.00] Initializing cgroup subsys cpuset > [0.00] Initializing cgroup subsys cpu > [0.00] Initializing cgroup subsys cpuacct > [0.00] Linux version 3.16.0-4-arm64 (debian-ker...@lists.debian.org) > (gcc version 4.8.4 (Debian/Linaro 4.8.4-1) ) #1 SMP Debian 3.16.7-ckt25-1 > (2016-03-06) > [0.00] CPU: AArch64 Processor [500f0001] revision 1 > [0.00] Early serial console at MMIO32 0x1c02 (options '') > [0.00] bootconsole [uart0] enabled > [0.00] Unable to handle kernel paging request at virtual address > 3fffe2e000 I think that is the problem. > [0.00] pgd = ffc7d000 > [0.00] [3fffe2e000] *pgd=8007f003, *pmd= > [0.00] Internal error: Oops: 9645 [#1] SMP That 'Oops' might be a symptom. Where this is an interresting problem, it is no syslinux nor a d-i problem. IMHO. Most likely is this BR about a mismatch between bootloader in (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://packages.debian.org/sid/all/syslinux-efi/filelist for file list -- Leven en laten leven signature.asc Description: Digital signature
Bug#820167: Processed (with 1 error): Re: Bug#820167: syslinux-efi: Kernel does not boot on Gigabyte MP30-AR0 system (APM X-Gene 1)
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 pass regex check
> .
>
Bug#820167: wishlist: Jessie kernel for ARM64 with UEFI bootROM
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
