Re: Genode on RPI

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?

[1] https://github.com/u-boot/u-boot/blob/94905e1db8d8d42c4f39f14dbee2f9788390db... [2] https://github.com/u-boot/u-boot/blob/94905e1db8d8d42c4f39f14dbee2f9788390db...

Regards