Christian Prochaska 26924c9bcd vbox: let the first EMT thread handle timers ... By default, the EMT thread of the last vCPU handles expired timers. When running VirtualBox with 2 vCPUs, it sporadically happens that the EMT thread of the second CPU clears an 'interrupt pending' flag for the first vCPU after changing the state of a timer device model, which is not expected by our Genode-specific code (failed assertion '!_irq_win' in the recall handler). The problem did not occur yet when letting the EMT thread of the first vCPU handle the expired timers, which is done by this commit as an interim fix until the problem has been further investigated. Issue #1660		2015-08-27 12:04:26 +02:00
..
app	Pseudo target for vfs_jitterentropy	2015-08-21 11:00:57 +02:00
lib	Prevent warning in libc_noux	2015-07-07 19:48:07 +02:00
noux	noux: return exit value of init child	2015-07-21 09:34:48 +02:00
noux-pkg	tool_chain: update GCC to version 4.9.2	2015-05-26 09:39:49 +02:00
test	vbox_pointer: policy-based shape selection	2015-06-22 14:43:36 +02:00
virtualbox	vbox: let the first EMT thread handle timers	2015-08-27 12:04:26 +02:00