On Fri, Jul 15, 2022 at 12:42 PM Paul Wise <p...@debian.org> wrote:
>
> 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
I see, and I agree that this is frustrating when trying to pinpoint
a bug in the 64-bit kernel. On the other hand this is of course
a sensible decision, since users clearly should not actually
run the 32-bit kernel in this hardware other than for testing
purposes.
I suppose this is made worse by the lack of a 64-bit kernel
option in the armhf installer, which means one has to go through
a couple of extra steps to install the arm64 kernel and get a
booting system.
Arnd
