Rodando o Xen padrão do Debian Squeeze, eu não consigo fazer nada do escalonamento da frequência da CPU.
Assim que eu reverti para o kernel padrão, eu entendi.
Por meio da Internet, parece que o Xen recebeu algumas correções em 2010 meu único palpite é que eles ainda não encontraram seu caminho no Debian.
Existe uma maneira de obter o Turbo Boost no debian Xen, isso é nos backports?
Existem outras distribuições que tenham o cpufreq / turbo boost ativado para o kernel do Xen?
Tags virtualization debian xen linux