On Tue, Mar 2, 2021 at 3:48 PM Arnd Bergmann <a...@kernel.org> wrote: > > On Tue, Mar 2, 2021 at 7:51 PM LinAdmin <linad...@quickline.ch> wrote: > > > > There is really no good reason to run a 32-bit /kernel/ on the Pi 4, > > > especially the version > > > with 8GB RAM. While the bug should get fixed in principle to make the > > > default kernel > > > work and allow installing a 32-bit distro, the best setup for this > > > machine (especially > > > the versions with less than 4GB) is to use an armhf user space with a > > > 64-bit kernel. > > > > Benchmarking shows that the Pi4 with 32 bit kernel has about > > double performance compared to 64 bit kernel!!! > > Can be more specific about what benchmarks and who ran them? > This seems highly unlikely.
Maybe https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956418? Jeff
