New Virtualbox port (from today)

[Ivan Voras]

Hi,

VirtualBox now works with VT and I'm able to run SMP guests!

But apparently it's not very stable (got two boot crashes) and something 
is wrong with timers:

Example 1: host HZ=250, guest HZ=1000, - guest time apparently speeds up 
more than it should

Example 2: same host, guest HZ=100 - guest time apparently goes 5x 
slower than real (wall) time.

Example 3: same host, guest HZ=25, guest time apparently 2x slower than 
real (wall) time.

In the examples, host is amd64 8-BETA2, 4CPU, guest is 7.2-RELEASE i386, 
2CPU.

Internally the time is always consistent - for example in the second 
case "time sleep 2" says the guest slept 2 seconds, while in real time, 
10 seconds have passed.

Time apparently goes normal when the guest is configured with only one 
CPU (and VT is still active).