Good evening everyone,
First off thank you Matthias, Tomasz and Alexander for the quick
responses, and thank you Tomasz especially for all the great work that
you do on the Raspberry Pi platforms!
Alexander seems to have hit the nail right on the head:
>The uImage can be created automaticall
Hello everyone,
I tried to reproduce the results and interestingly enough,
when using a *uImage* the RPi3 boots completely (using the 'bootm'
command in U-Boot).
The described behavior is only observable,
when trying to boot via an *ELF-image*.
The uImage can be created automatically by Genode wh
Daniel Gunzinger writes:
> Good afternoon everyone!
>
> I am currently trying to run Genode in 64bit mode on a Raspberry Pi 3
> Model B (V1.2),
> therefore using the newest available Release (19.05) with the
> accompanying tool-chain,
> compiling it on a Ubuntu 18.04.2 machine.
>
> The compilatio
Hi Daniel,
which architecture is your u-boot for? If it is a 64bit u-boot you will need a
Fiasco.OC kernel built for 64bit. If 32bit you will need a 32bit Fiasco.OC
kernel.
Regards,
Matthias.
On [27-06-2019 15:51], Daniel Gunzinger wrote:
> Good afternoon everyone!
>
> I am currently trying to
Good afternoon everyone!
I am currently trying to run Genode in 64bit mode on a Raspberry Pi 3
Model B (V1.2),
therefore using the newest available Release (19.05) with the
accompanying tool-chain,
compiling it on a Ubuntu 18.04.2 machine.
The compilation process configured for the "rpi3" boa
