On 15/04/20 at 12:13 +0200, basti wrote: > Hello, > i have try to boot rpi4 with real debian kernel. > > I have try: > - build kernel from source -> boot with dtb from ubuntu, but do not find > an sdcard > - use uefi -> install via debian installer, does not boot after install > is finished, can't find a boot media > > can please someone share a minimal image to boot aarch64 on rpi4?
Hi basti, You can use (and maybe adjust) the raspi_4.yaml file at https://salsa.debian.org/raspi-team/image-specs/-/compare/master...rpi4 Just replace all references to 127.0.0.1:3142 with your local mirror. I'll try to upload a working image somewhere ASAP (probably over the week-end). Lucas
