Running genode on QEMU having board support of raspberry pi for arm_v8.

[Michael Grunditz]

On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI
<dhirajprajapati96 at gmail.com> wrote:
>
> Thanks, Martin for your quick response.
>
> I followed your steps and generated the
> genode/build/arm_v8a/var/run/log/boot/image.elf.
> While going to the real hardware I got stuck for
> boot/uImage(var/run/log/boot/uImage) getting the following error.
> Kindly guide me on how to proceed further.

Install the tool "mkimage". In ubuntu:
sudo apt-get install u-boot-tools

Michael