Re: config syntax in hw_gpio_drv? RPI boot issues

2017-09-25 Thread Steven Harp 
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:
> [...]
>> 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
> 
> 
> 
> --
> 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
> 

--
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

Re: config syntax in hw_gpio_drv?

2017-09-20 Thread Christian Helmuth 
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 {
 	
-		
-		
+		
+		
 		
 	}
 
--
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

config syntax in hw_gpio_drv?

2017-09-19 Thread Steven Harp 
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

   ^
var/run/lxip_udp_echo/genode/config:31: parser error : attributes construct 
error

   ^
var/run/lxip_udp_echo/genode/config:31: parser error : Couldn't find end of 
Start Tag resource line 31

   ^
var/run/lxip_udp_echo/genode/config:32: parser error : AttValue: " or ' expected

^
var/run/lxip_udp_echo/genode/config:32: parser error : attributes construct 
error

^
var/run/lxip_udp_echo/genode/config:32: parser error : Couldn't find end of 
Start Tag service line 32

^
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:







1. Suggestions?   
2. Is it reasonable to suppose this should run okay on RPI-version (v1,2,3?) 
hardware?

// Steve Harp

--
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