genode/repos/ports/src/virtualbox/nova
Christian Prochaska dac3efcc02 vbox: replace too strict assertion with debug message
The 'continue_hw_accelerated' assertion at the end of the recall handler
can fail in situations which are not problematic, for example if the
'Timer' thread has set the 'VMCPU_FF_TIMER' flag in the meantime and
requested a recall afterwards. Since we don't know for sure if a recall is
requested for the other flags as well, the assertion gets replaced by a
debug message, which gets printed if any of the 'not yet verified as safe'
flags is set.

Fixes #1426
2015-03-19 09:25:04 +01:00
..
sup.cc vbox: update to virtualbox 4.3.16 2014-11-28 12:02:40 +01:00
svm.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
vcpu_svm.h vbox: enable support for Windows 8 2015-02-27 11:48:05 +01:00
vcpu_vmx.h vbox: enable support for Windows 8 2015-02-27 11:48:05 +01:00
vcpu.h vbox: replace too strict assertion with debug message 2015-03-19 09:25:04 +01:00
vmx.h vbox: enable support for Windows 8 2015-02-27 11:48:05 +01:00