Observation: J'ai un serveur HP avec un processeur dual core AMD (Turion II Neo N40L) qui peut mettre à l'échelle des fréquences de 800 à 1500 MHz. La mise à l'échelle des fréquences fonctionne sous FreeBSD 9 et sous Ubuntu 12.04 avec le noyau Linux 3.5. Cependant, lorsque je place FreeBSD 9 dans...