Hi 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?
Best regards
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
-
Norman Feske -
Reinier Millo Sánchez