On Mon, Sep 20, 2021 at 9:19 AM LinAdmin wrote: > What I would like to see is that the official arm kernels automagically built by Debian could run unchanged on RaPi 32 & 64 bit. The RPi 4 is 64-bit, is there a reason for running a 32-bit Linux kernel? (The 64-bit Linux kernel can run 32-bit userspace too). -- bye, pabs https://wiki.debian.org/PaulWise