Raspberry Pi not booting kernelimage

Hello everyone,

I am currently trying to get Genode 14.05 running on the Raspberry Pi. As a first shot, I followed the instructions in the 13.11 releasenotes for compiling the genode-demo for the RPi.

However, when trying to boot the genode image, I'm stuck with the colored rainbow splash screen. I simply added the image to an existing (and running) raspian image and modified config.txt.

The same happens when I try to run the printf test. - I'm not getting any output over the UART.

Am I missing something here?

Best regards Marcus