As part of my efforts to reduce our power consumption, I have decomissioned my diskless VM host and move the virtual machines onto my fileserver. This involved migrating the machines from VMWare (on Linux) to Virtualbox (on Solaris).

One of my VMs is a FreeBSD x64 system, and while it came across fine, the time on this machine ran 3-4 times slower than normal (other x86 FreeBSD machines were fine).

To correct this, I added the following line to /boot/loader.conf:

kern.timecounter.hardware=i8254