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: [email protected] Internet: http://www.ifr.ing.tu-bs.de ------------------------------------------------------------------------------ Infragistics Professional Build stunning WinForms apps today! Reboot your WinForms applications with our WinForms controls. Build a bridge from your legacy apps to the future. http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
