Trouble booting Genode examples on RaspberryPI

Norman Feske norman.feske at ...1...
Tue Sep 2 17:17:51 CEST 2014

Hello Reinier,

> I'm tried run Genode Demo for RaspberryPI on real hardware. I have
> compiled the example demo and the printf demo. For each test case i have
> copied the image.elf to the PI, and create the config.txt file with the
> line kernel=image.elf. When the RPI boot only show the colored screen,
> and anything more. I have missed any steps to boot Genode on RPI?

the Raspberry-Pi boot ROM does not support the loading of ELF files. You
have to create a raw image from the ELF file using 'objcopy'. Please
have a look at the steps described here:


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list