Observação: Eu tenho um servidor HP com uma CPU AMD dual core (Turion II Neo N40L) que pode escalar frequências de 800 a 1500 MHz. O escalonamento de frequência funciona no FreeBSD 9 e no Ubuntu 12.04 com o kernel Linux 3.5. No entanto, quando coloco o FreeBSD 9 em um ambiente KVM em cima do...