Joonas Onatsu

> Thanks, this looks ready to merge. Can you please clean up the history so that the fixup commits are merged with the ones making the changes. Will do. I...

> Seems the HW builds are failing for RasPi3, could you have a look into this? Will do, thanks for informing.

@axel-h The failing builds for RPi3 should be fixed by https://github.com/seL4/util_libs/pull/140 I also rebased the changes on top of current master. Because the builds are triggered, I suppose they will...

> I am able to run seL4test on a RPi4 without any changes to the elfloader using the latest U-Boot, maybe older U-Boot versions did not support EFI images? Hi...