Hello, unfortunately I can't get L4Re running on the Raspberry Pi 3 / 3+
using the provided Guider (https://l4re.org/rpi.html) I did the 64-Bit
setup accordingly with the provided U-Boot and the ready-to-use images.
U-Boot itself seems to work fine and I can set the IPs ...
Unfortunately I don't know the address to load the .elf file so I'm using
the following commands: "tftpboot bootstrap_hello_rpi3.elf" and "bootelf".
After entering "bootelf" the output on serial spews garbage and after a few
seconds the same garbage is "printed" in an interval of around 1 second.
Am I doing anything wrong or am I missing something?
Kind Regards
Daniel
