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.
Arnd
