Genode on RPI

[Tomasz Gajewski]

Christian Helmuth <christian.helmuth at genode-labs.com> writes:

> Hi,
>
> On Fri, Jan 04, 2019 at 12:34:10AM +0000, Bob Stewart wrote:
>> I'd suggest you try to get the u-boot patch to set the execution
>> state to aarch32 for sure, it will save you a lot of reading time!
>
> I'm not an U-Boot expert but as I understand it the loader sensibly
> handles the boot-image format [1] [2] by switching to AArch32 or
> AArch64 depending on the image-header information. So, it should be a
> matter of
>
>   mkimage -A arm  vs.
>   mkimage -A arm64
>
> Or Am I wrong?

That's what I was suggesting when writing about patches but it seems I
did not write that clearly enough. I've seen informations about those
patches in mailing lists from 2016 and assumed that u-boot does the
switch to Aarch32.

I'll try to make some tests during the weekend that will somehow clarify
what is happening.

Tomasz Gajewski