Bug#977126: linux: No armel kernel can be booted by grub-efi-arm:armel
Ryutaroh Matsumoto
ryutaroh at ict.e.titech.ac.jp
Fri Dec 11 10:09:16 GMT 2020
Source: linux
Version: 5.9.11-1
Severity: important
X-Debbugs-Cc: pkg-grub-devel at alioth-lists.debian.net
Dear Maintainer,
grub-efi-arm:armel package remains almost unusable for very long time.
To boot a kernel in UEFI mode, it must be compiled with CONFIG_EFI.
But no Debian armel kernel (specifically linux-image-marvell or
linux-image-rpi) is built with CONFIG_EFI.
This leaves armel grub-efi-arm package almost useless.
For example, trying to boot linux-image-marvell by grub-efi-arm:armel
shows the following message:
Welcome to GRUB!
error: no suitable video mode found.
Booting `Debian GNU/Linux'
Loading Linux 5.9.0-4-marvell ...
error: plain image kernel not supported - rebuild with CONFIG_(U)EFI_STUB
enabled.
Loading initial ramdisk ...
error: you need to load the kernel first.
On the other hand, grub-efi-arm:armel can boot linux-image-armmp:armhf.
This feature/bug leaves grub-efi-arm:armel almost useless,
so I chose "important" priority.
Best regards, Ryutaroh Matsumoto
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: arm64 (aarch64)
Kernel: Linux 5.9.0-4-arm64 (SMP w/4 CPU threads)
Kernel taint flags: TAINT_CRAP
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
More information about the Pkg-grub-devel
mailing list