On Fri, 2022-07-15 at 12:04 +0200, Arnd Bergmann wrote: > If you see /other/ problems with the 64-bit kernel (using the > same user space, kernel source and kernel config as the 32-bit > kernel), please report those to the respective upstream kernel > maintainers so we can fix those as well. Gene's complaint is unrelated to this thread, but it is that Debian refuses to support running the 32-bit ARMMP kernel on 64-bit hardware, specifically on the RaspberryPi 4b. There wasn't any justification from Debian given in the bug reports, but it sounds like only build config options are needed to be enabled, but Debian refuses to do that: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971059#12 https://bugs.debian.org/981586 -- bye, pabs https://wiki.debian.org/PaulWise
Attachment:
signature.asc
Description: This is a digitally signed message part