Re: The state of Arm64 on Raspberry Pi (and its Documentation

[basti <mailinglist@unix-solution.de>]

Hello Lucas,

thanks for the link. Build a image with kernel 5.5 boot the rpi4, but
USB is not working. lsusb show nothink. ( I know there is the Problem
with the pcie)

Build Image with Kernel 5.6 does nothing. No monitor output, no output
on serial.

When I try to upgrade the image with kernel 5.5 to 5.6 and reboot there
is the same described above. (Kernel 5.6. is upgraded from your repo.)


On 15.04.20 20:40, Lucas Nussbaum wrote:
> 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
>