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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
