On Tue, 14 Apr 2020 10:13:58 +0100 Jonathan Dowland <jon+debian-u...@dow.land> wrote:
> 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. Tomorrow I'll give it a try, but I'll be using an USB3 stick for the Debian part, not an extra partition on the micro SD card as described in the blog. The Raspbian testing 64-bit kernel is running OK. Thanks Jonathan!
