Elliott Mitchell
2025-Dec-15 02:23 UTC
[Pkg-xen-devel] Bug#1122958: Xen/ARM64 please override CONFIG_ACPI or ask for upstream change
Package: xen-hypervisor-common Version: 4.20.2+7-g1badcf5035-0+deb13u1 If there was an actual xen-hypervisor-arm64 package, this would be filed against that instead. Alas this isn't confined to a version so it seems best to have this on xen-hypervisor-common. I ask the maintainers of Xen on Debian to either override CONFIG_ACPI to "y" on ARM64, or else get the Debian Project to formally ask the Xen Project to change the default of CONFIG_ACPI. There are unofficial images using direct firmware loading. Unfortunately this isn't capable of loading Xen. There is work towards copying SuSE's boot sequence of U-Boot => GRUB, but this is still unfinished. Less than a year after the Raspberry PI 4B's release Tianocore/EDK2 images were available for it. With the next Debian release Linux's drivers had been adapted to use ACPI. Problem is without CONFIG_ACPI=y this doesn't work for loading Xen. I've been trying to get the Xen Project to change the default, but that hasn't yet happened. As such could the Debian maintainers take action as the Raspberry PI 4B is just slightly popular... (next issue then becomes EFI-FB support) -- (\___(\___(\______ --=> 8-) EHM <=-- ______/)___/)___/) \BS ( | ehem+sigmsg at m5p.com PGP 87145445 | ) / \_CS\ | _____ -O #include <stddisclaimer.h> O- _____ | / _/ 8A19\___\_|_/58D2 7E3D DDF4 7BA6 <-PGP-> 41D1 B375 37D0 8714\_|_/___/5445