On 4/14/20 12:13 PM, Jonathan Dowland wrote:
I would refer you to this page to get the latest status: <https://wiki.debian.org/RaspberryPi> For the Pi 4, it claims "There is no support for it in the Debian kernels yet." According to this blog <https://david.wragg.org/blog/2020/01/installing-64-bit-debian-on-rpi.html> It's possible if you use a kernel from outside Debian, provided by the Raspberry Pi foundation. But I would suggest this was not a beginner-level project.
Very interest! Thank you! :-) -- Kind regards, Tasos