Perhaps you could leverage this from raspian, https://lb.raspberrypi.org/forums/viewtopic.php?t=245908
I dont have any experience with this one nor have hardware ( not a pi fan ). More Pi4 SoC info came in with 5.4/5 anyhow so you would want something recent to get it done. Nige On Mon, Feb 3, 2020 at 11:00 AM Lennart Sorensen <lsore...@csclub.uwaterloo.ca> wrote: > > On Mon, Feb 03, 2020 at 10:41:17AM -0500, Gene Heskett wrote: > > Written to a 64GB card with dd, makes zero attempt to boot on rp4b. > > > > Put presently running raspbian buster 10.2 card back in, boots up normal. > > > > Suggestions? > > According to https://wiki.debian.org/RaspberryPi there is no support > for the Pi4 in Debian's kernel yet (after all it has to be supported > upstream before Debian will support it). Raspbian has no issues with > using a patched kernel with stuff that isn't supported upstream yet as > long as it makes Pi models work with it. > > Also the boot process for the 4 is completely different than the older > models as far as I know. > > -- > Len Sorensen > -- “Science is a differential equation. Religion is a boundary condition.” Alan Turing
