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
Attachment:
signature.asc
Description: This is a digitally signed message part.