Hi PirminI 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/2978bd9b20b9c428219c38f97d60989ab60e10d2 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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
-- Lic. Reinier Millo Sánchez Centro de Estudios de Informática Universidad Central "Marta Abreu" de Las Villas Carretera a Camajuaní Km 5 1/2 Santa Clara, Villa Clara, Cuba CP 54830 "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"
<<attachment: rmillo.vcf>>
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
