Raspberry Pi not booting kernelimage

[Marcus Nolte]

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

-- 
Marcus Nolte, M. Sc.

Technische Universität Braunschweig
Institut für Regelungstechnik (IfR)
Hans-Sommer-Straße 66
38106 Braunschweig

Tel.: +49 531 391 3827
Fax:  +49 531 391 7878
Email: nolte at ...254...
Internet: http://www.ifr.ing.tu-bs.de