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 ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that matters. http://tv.slashdot.org/ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
