Problems with virtualbox after commit cdb7904

Alexander Boettcher alexander.boettcher at ...1...
Tue Jul 29 11:56:37 CEST 2014


Hello,

On 28.07.2014 13:04, Christian Menard wrote:
> I'm trying to tun NOVA(64)+Genode+VMBox+Android on a System with Intel Core 
> i5-4302Y CPU. So far it worked fine, but I got trouble since commit cdb7904 
> "timer: nova specific version of the service". With this patch applied, Android 
> on VMBox is not booting up anymore. Instead I get messages like this: 
> 
> [ 19.900000] INFO: rcu_preempt self-detected stall on CPU
> 
> I tried to reproduce the issue in QEMU, but there everything works fine. So the 
> issue seems to be related to my Hardware. In the logs everything looks fine, I 
> couldn't find any abnormalities.
> 
> Do you have any ideas on what might go wrong or where I should start 
> investigating? Unfortunately my debugging possibilities are limited, as I have 
> no serial connection. 

The commit is in general not strictly required - it mainly should reduce
a bit the load in the system. If you still want to debug this - you may try:

to disable for tsc deadline mode on the hypervisor command line, see
repos/base-nova/run/env file and add there a " nodl " option to the
hypervisor commandline


Another issue could arise if the timer service is running at the same
priority level as the other services and applications of your scenario.
You may try to set the timer service at a higher priority. See the
virtualbox run scripts for a example.

Which x86 hardware do you use ? Does it happen on all your machines or
only on one specific one ?

Do you have maybe a working run script or branch and can you put the
Android image somewhere, so I could try to reproduce it.

Cheers,

Alex.

> 
> Thanks
> Christian
> 
> ------------------------------------------------------------------------------
> Infragistics Professional
> Build stunning WinForms apps today!
> Reboot your WinForms applications with our WinForms controls. 
> Build a bridge from your legacy apps to the future.
> http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 





More information about the users mailing list