Hi Stefan, Thank you. It's working.
Cheers Marcus Am 29.07.2014 15:13, schrieb Stefan Kalkowski: > Hi Marcus, > > On 07/29/2014 01:21 PM, Marcus Nolte wrote: >> 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? > Sadly, as it turned out the Rasperry Pi port was broken for some time. > Now we've integrated it into our nightly build/run tests, and it is > working again. Please try out the stable master branch of Genode's git > repository instead of the latest release: > > https://github.com/genodelabs/genode.git > > Best regards > Stefan > >> 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
