Re: The state of Arm64 on Raspberry Pi (and its Documentation
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
Reply to: