On 2025-02-23 22:24, Bastian Blank wrote: > On Sun, Feb 23, 2025 at 10:07:33PM +0100, Aurelien Jarno wrote: > > On 2025-02-23 21:45, Bastian Blank wrote: > > > On Sat, Feb 22, 2025 at 11:59:38AM +0100, Aurelien Jarno wrote: > > > > Starting with version 6.13.3-1~exp1, the riscv64 kernel is shipped as a > > > > EFI binary with the payload compressed with zstd (using the EFI_ZBOOT > > > > config option). In addition to breaking non-EFI systems, this change > > > > simply prevents the kernel to boot on a VisionFive 2 board: > > > Please re-assign to the bootloader package. > > I disagree. The bootloader is u-boot and while it might be fixable at > > this level, debian should be bootable on the original firmware. > > It needs to be fixed nevertheless. What do you mean with "original > firmware"? What is this setup anyway?
The setup is: - Vision Five 2 board: https://www.starfivetech.com/en/site/boards - Using U-Boot as the firmware - Booting is done through grub (grub-efi-riscv64 package) - Installed with debian-installer > > BTW, you never explained the reason for your changes. It only brings > > smaller kernel nothing more. And a working kernel is better than a > > smaller kernel that does not work. > > Smaller images, so often faster load times. Smaller image is nice, but not mandatory. Other architectures also use uncompressed kernel. > Feature parity between > architectures. Feature parity, do you mean only with arm64 and loong64? EFI_ZBOOT is not enabled on other architectures. > Fullfils the interface (U)EFI and works fine in edk2. Just like the kernel before your change. > As I currently try to assemble a list of all the interfaces the kernel > fullfils: How would you define this? Running this in u-boot is not > (U)EFI, but something more strict, or there is a bug in the kernel > decompressor. The uncompressed kernel is a perfectly valid EFI binary that can be run under U-Boot with either Distro Boot and Grub or with the loadefi command. It can also be run under EDK2 either directly or also through Grub. -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurel...@aurel32.net http://aurel32.net
