Package: linux-image-arm64 Version: 4.19+105+deb10u4 Severity: important Tags: d-i
Dear Maintainer, I am testing with ARM64 systems with u-boot. Debian is booted in EFI mode and properly detects the EFI system tables. [ 0.000000] efi: EFI v2.80 by Das U-Boot [ 0.000000] efi: RTPROP=0x3aef9040 SMBIOS=0x3aeee000 RNG=0x39b81040 MEMRESERVE=0x39b80040 [ 0.000000] efi: seeding entropy pool Anytime I kexec the same or another Debian kernel, I get the following message: [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: Can't find 'System Table' in device tree! This problem is occuring with both 4.19, 5.4, 5.6, and 5.7 from Debian. It does not occur with SUSE or Fedora kernels. -- System Information: Debian Release: 10.4 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: arm64 (aarch64) Kernel: Linux 4.19.0-9-arm64 (SMP w/4 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages linux-image-arm64 depends on: ii linux-image-4.19.0-9-arm64 4.19.118-2+deb10u1 linux-image-arm64 recommends no packages. linux-image-arm64 suggests no packages. -- no debconf information