Re: Turmvilla scenario

Hello Vincent, Perhaps removing the lines GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true from the file /etc/default/grub and doing a sudo update-grub one more time will show you the grub menu. Harm On Fri, Oct 9, 2015 at 5:18 PM, Vincent Digital wrote: > Hi,

Re: run/noux_bash error

Hi Christian, This is the complete log message. including /home/genode-15.08/tool/run/boot_dir/linux including /home/genode-15.08/tool/run/power_on/linux including /home/genode-15.08/tool/run/log/linux including /home/genode-15.08/repos/os/run/demo.run building targets: core init drivers/timer

Re: run/noux_bash error

Hello, thanks for the log output but now the only remaining oddity is "No protocol specified". I've looked up a thread of discussion from May 2014 http://sourceforge.net/p/genode/mailman/genode-main/thread/53750ED4.40903%40web.de/#msg32344982 Back then Markus had a very similar problem with

Re: run/noux_bash error

Strange, are you sure, you applied my patch from yesterday successfully? If yes, the scenario would suffer from a extreme flood of input events. The "input overflow - resetting queue" message is printed only if 512 events where queued but not collected by the client. Additionally, the message

Re: run/noux_bash error

Hi, Sorry i didn't apply the patch. Here is the log message after i applied the patch. including /home/genode-15.08/tool/run/boot_dir/linux including /home/genode-15.08/tool/run/power_on/linux including /home/genode-15.08/tool/run/log/linux including /home/genode-15.08/repos/os/run/demo.run

strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)

Hello, Can anyone help out? I ran the "make run/seoul-auto.run" in my nova_x86_64 build directory and nearly at the end of the process i got this error: make: *** [run/seoul-auto] Erreur 253 (please find below a sample of the trace from the serial output) I also attached the complete trace. Can

Re: Turmvilla scenario

Hi, Christian, Thanks for clarifying. I'm using Ubuntu 14.04 32-bit OS as Guest VM. I've figured out the /home mapping based on the presentation that Norman created for his presentation earlier this year. The final issue that I have not get it working is the GRUB configuration

Re: run/noux_bash error

Hi Christian, thank you for sharing this with me On Fri, Oct 9, 2015 at 4:32 PM, Christian Helmuth < christian.helm...@genode-labs.com> wrote: > Hello, > > thanks for the log output but now the only remaining oddity is "No > protocol specified". I've looked up a thread of discussion from May >