HiI'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 -- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas
<<attachment: rmillo.vcf>>
------------------------------------------------------------------------------ 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
