Re: Trouble booting Genode examples on RaspberryPI

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