Trouble booting Genode examples on RaspberryPI

[Reinier Millo Sánchez]

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

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 519 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20140902/353abf93/attachment.vcf>