https://raspi.debian.net/tested-images/ - there's at least one image there for the 4GB Raspberry Pi 4 from Gunnar Wolf - but note that this is still a work in progress. It's certainly possible: other folk have got this to boot using experimental UEFI - it's there such that you don't _have_ to use Raspberry Pi OS any more.
On Mon, Jul 20, 2020 at 5:48 PM Reco <recovery...@enotuniq.net> wrote: > On Mon, Jul 20, 2020 at 08:01:17PM +0300, Andrei POPESCU wrote: > > On Lu, 20 iul 20, 12:24:35, Gene Heskett wrote: > > > > > > FWIW, it installs and runs fine on a pi4 running buster 10.4. > > > > And buster doesn't work with that kernel because... ? > > Because, strictly speaking, *Debian* buster cannot run at Raspberry > Pi 4 at all - see [1]. There's some big progress with sid, though - [2]. > > The short and the long of it is that Gene is using *Raspbian*, but > prefers to get help about it here. > > One could get away with Raspbian kernel and Debian chroot, I suppose, but > that's cheating. > > Reco > > [1] > https://lists.debian.org/msgid-search/20200426195815.ga5...@xanadu.blop.info > [2] > https://gwolf.org/2020/07/raspberry-pi-4-now-running-your-favorite-distribution.html > >
