Trouble booting Genode examples on RaspberryPI

[Norman Feske]

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:

  http://genode.org/documentation/release-notes/13.11#Raspberry_Pi

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

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