Hi Just as a status update, Ubuntu has added a patch[1], disabling interrupts in the critical boot up path, to their kernel today, which avoids this issue from triggering - and after initial testing, it seems to succeed.
On the other hand, looking at the VirtualBox bug tracker[2], it seems to
have been identified as a real bug in VirtualBox' recompiler (which is
supposed to have been fixed in VirtualBox 2.0.2).
Given the circumstances that this patch to the kernel only seems to paper
around the real issue, I do not recommend to add it to Debian's kernel
though.
Regards
Stefan Lippers-Hollmann
[1]
http://kernel.ubuntu.com/git?p=ubuntu/ubuntu-intrepid.git;a=commitdiff;h=00d6c877bc34ff6e2705385764f6e7426cd362a8
[2] http://www.virtualbox.org/ticket/1875#comment:7
signature.asc
Description: This is a digitally signed message part.
