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:
* * * genode build completed var/run/lxip_udp_echo/genode/config:31: parser error : AttValue: " or ' expected <resource name="RAM" quantum="4M"/> ^ var/run/lxip_udp_echo/genode/config:31: parser error : attributes construct error <resource name="RAM" quantum="4M"/> ^ var/run/lxip_udp_echo/genode/config:31: parser error : Couldn't find end of Start Tag resource line 31 <resource name="RAM" quantum="4M"/> ^ var/run/lxip_udp_echo/genode/config:32: parser error : AttValue: " or ' expected <provides><service name="Gpio"/></provides> ^ var/run/lxip_udp_echo/genode/config:32: parser error : attributes construct error <provides><service name="Gpio"/></provides> ^ var/run/lxip_udp_echo/genode/config:32: parser error : Couldn't find end of Start Tag service line 32 <provides><service name="Gpio"/></provides> ^ Error: Invalid XML syntax in var/run/lxip_udp_echo/genode/config Makefile:309: recipe for target 'run/lxip_udp_echo' failed * * *
The extraneous reversed virgules in the attribute values appear only for hw_gpio_drv:
<start name="hw_gpio_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Gpio"/></provides> <config/> </start>
1. Suggestions? 2. Is it reasonable to suppose this should run okay on RPI-version (v1,2,3?) hardware?
// Steve Harp
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:
[...]
- 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.
- 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
Thanks much, that patch works as intended--build works for the rpi.
But I am still having some problems on this hardware. Possibly I'm not using the correct board rev.? I tried building the run/demo and testing (dhcp boot image.elf) on these rpi models:
- RPi - 2011.12 - RPi2 - Model B v1.1 - RPi3 - Model B v1.2
Only the first of these gets as far as showing the demo screen.
Alas, it seems to hang shortly thereafter. I wish I had some diagnostic trace, but the serial console starts printing gibberish immediately after starting the hw kernel. I'm presuming the UART should remain at 115200 baud, 8N1? (Those settings work correctly with uboot.)
Any suggestions?
Are other Genode users enjoying success with 17.08 on the rpi? If so, is there a particular rpi board revision that is known to be compatible?
// Steve
On 09/20/2017 07:02 AM, Christian Helmuth wrote:
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:
[...]
- 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.
- 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
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
-
Christian Helmuth -
Steven Harp