Thanks for the reply Warren. Those cpufreq cats give the same results
as you have:
[root thinkpad cpufreq]# cat scaling_available_governors
userspace performance
[root thinkpad cpufreq]# cat scaling_governor
userspace
I don't seem to have the "default governor" setting in the BIOS - or
at least I couldn't find it.
There was a "CPU Power Management" option that toggles between
"automatic" and "disabled" (it was disabled, but setting it to
automatic doesn't appear to have made a difference).
The cpu MHz I get from "cat /proc/cpuinfo" doesn't seem to vary from
1199.133 regardless of what I'm doing.