Hello Steve,
On Tue, Sep 19, 2017 at 11:51:44AM -0500, Steven Harp wrote:
> In Genode 17.08 (master) on rpi platform with hw (or foc) base,
> run/lxip_udp_echo seems to generate config XML that doesn't quite
> pass the syntax check:
[...]
> 1. Suggestions?
You're right, the run script is broken for platforms with gpio
support. The attached patch should fix it and will be merged to
staging soon.
> 2. Is it reasonable to suppose this should run okay on RPI-version (v1,2,3?)
> hardware?
This script is not part of our nightly autopilot run but only used for
developments. Therefore, this regression remained undetected. Scripts
that always work can be found in tool/autopilot.list.
Regards
--
Christian Helmuth
Genode Labs
https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
repos/dde_linux/run/lxip_udp_echo.run | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/repos/dde_linux/run/lxip_udp_echo.run b/repos/dde_linux/run/lxip_udp_echo.run
index 82e7d2d..06e5001 100644
--- a/repos/dde_linux/run/lxip_udp_echo.run
+++ b/repos/dde_linux/run/lxip_udp_echo.run
@@ -61,8 +61,8 @@ append config {
append_if [have_spec gpio] config {
<start name="} [gpio_drv] {">
- <resource name=\"RAM\" quantum=\"4M\"/>
- <provides><service name=\"Gpio\"/></provides>
+ <resource name="RAM" quantum="4M"/>
+ <provides><service name="Gpio"/></provides>
<config/>
</start>}
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
