Si, si al final lo encontre. Es en /sys/devices/system/cpu/cpu0/cpufreq .En este directorio estan los ficheros para todo eso. Lo que no sé y me gustaría averiguar es si se pueden modificar los valores, ya que el procesador que tengo es un core duo a 1,83GHZ, pero la frecuencia minima a la que me los pone es a 1GHz, lo cual me sigue pareciendo un poco 'alto'. No se si esos valores se pueden modificar manualmente , o son propios del micro.
Salu2!
