Eu resolvi o problema. Eu encontrei os drivers do kernel fornecidos pela AppliedMicro, os compilei como um módulo externo e carreguei o módulo. Tudo funciona bem.
Estou tentando escalar a frequência no painel Mustang da AppliedMicro. Estou usando o Ubuntu 14.04 (aarch64) e instalei o pacote 'cpufrequtils', mas parece que o driver do kernel para o processador X-gene está faltando. Você sabe onde eu posso encontrar o driver ou você pode propor uma outra maneira de escalar a freqüência?
Obrigado antecipadamente!
Eu resolvi o problema. Eu encontrei os drivers do kernel fornecidos pela AppliedMicro, os compilei como um módulo externo e carreguei o módulo. Tudo funciona bem.