Re: rpi_hw build failure

2014-11-20 Thread Reinier Millo Sánchez
Hi Tim If you don't tell which a run script to build, the framework try to compile all source code, and not all dependencies are satisfied,thats is the error. For example to run Genode Demo for Raspberry PI you must prepare the dde_linux and libc port to include the USB drivers ./tool/ports

rpi_hw build failure

2014-11-20 Thread Tim Newsham
$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi $ cd rpi $ make [...] /tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. make[2]: *** [main.o] Error 1 make[1]: *** [uart_drv.prg] Error 2 make: **

Re: TPM, Haskell and RPC mapped through NOVA

2014-11-20 Thread Ivan Loskutov
Hi Thomas, 2014-11-11 12:08 GMT+03:00 Thomas Strobel : > > > My next question is how difficult it is to write Genode applications in > Haskell. Is there an environment which can run Haskell applications, > something similar to the Haskell Lightweight Virtual Machine for Xen? [2] > > A few words a

Re: TPM, Haskell and RPC mapped through NOVA

2014-11-20 Thread Norman Feske
Hi Thomas, > Considering the amount of work that would be needed, I think I don't > have the resources for that at the moment. I will stay with Xen as > hypervisor for now. no problem. :-) > Out of interest, is there a way to merge Genode and Xen? Xen allows dom0 > disaggregation where device dr

Re: netperf on RPI

2014-11-20 Thread Norman Feske
Hello Mohammad, > I am still getting same small numbers for the throughput when testing > the network performance for the Raspberry pi with the TCP_STREAM, the small TCP window size you observed seems to be the limiting factor. But I have no idea why the TCP connection throttles the window param