kernel bitness
After reading https://archlinuxarm.org/platforms/armv ... berry-pi-4, I suspect that "AArch64" is a 64-bit kernel. Though I have no clue whether "ARMv7 Installation" contains a 32-bit or 64-bit kernel. Can anyone enlighten me?
kernel package name
Are these two installations similar, where "ArchLinuxARM-rpi-4-latest.tar.gz" contains a raspberrypi4 kernel and "ArchLinuxARM-rpi-aarch64-latest.tar.gz" provides a mainline kernel? Or do both provide mainline kernels, package: linux-armv7 versus linux-aarch64?
How to install 64-bit kernel with full device support?
What is the suggested way to install a 64-bit OS with maximum hardware support (binary overlays) on an RPi4B? Follow AArch64 installation and switch to kernel linux-raspberrypi4?