Jan 082011

Just ran into this issue while setting up a CentOS 4.7 test virtual machine for some debugging work. After some digging around on the webernets, I found this little gem.

Basically, the kernel is hardcoded for a higher timer frequency than VirtualBox is providing. 10 times in fact. The simple solution is to add divider=10 to the kernel options. This slowed the clock of the guest down to a more accurate level.