Hello Reinier,
I have switched to Genode's release 14.08, prepared again the ports and compiled the examples in the same way, but when try to test it on RPI, only the colored screen again. Someone have tested successfully this examples on RPI hardware? I have tested successfully the Demo example.
the SDL and Qt5 examples are indeed not expected to work on the Raspberry Pi out of the box. Most run scripts still lack two things that are important for the RPi, namely the platform driver and the USB HID driver. Those components are included in the 'os/run/demo.run' script but are lacking in many others such as the 'libports/run/sdl.run'. However, you should still get serial output in any case. Normally, the serial output gives enough indications about the missing pieces. Given the demo.run script as example, complementing the other run scripts with the missing pieces should be straight forward.
Has the switch to version 14.08 resolved the build problem?
As another heads-up warning regarding the Rpi, the USB driver is still not perfect. There are two issues. First, the keyboard is not working reliably unless you set the number of used host channels to 8 instead of 2 using the 'dwc_param_host_channels_default' define in <genode-dir>/contrib/dde_linux-<hash>/src/lib/dde_linux/drivers/usb/host/dwc_otg/dwc_otg_core_if.h. Second, the USB driver draws an enormous amount of CPU time because it has to issue USB start-of-frame (SOF) transactions every microframe (that is every 250 microseconds). So when the USB driver is running, there is hardly any CPU time left for the other processes. On Linux, this problem has been somehow fixed by the so-called FIQ optimization. I am still pondering about the best way to relieve this issue when using the base-hw kernel.
Best regards Norman