Hi Pirmin
I have checked gpio_drv's compilation for RaspberryPi platform. I have fixed the problem adding a dummy compilation unit needed to link a valid target.
You can follow the changes in GenodeLabs's issues:
https://github.com/genodelabs/genode/issues/1683
or check the changes directly:
https://github.com/xeos-team/genode/commit/2978bd9b20b9c428219c38f97d60989ab...
Best regards
On 09/13/2015 02:18 AM, Duss Pirmin wrote:
Hello
After switching to 15.08 I can no longer run the demo on my RaspberryPi.
For some reason the run script wants to include gpio_drv but doesn't build it.
In repos/os/run/demo.run on line 21 the SPEC gpio dosn't seem to be set, as I do not see the building of the gpio driver.
In repos/os/run/demo.run on line 70 the SPEC gpio is set, as the config contains the configuration for the gpio_drv.
Best regards Pirmin Duss
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main