It seems like Debian's Linux AMD64 xen kernel does not have cpufreq support (at least powernow_k8 cannot be found). According to https://bugzilla.redhat.com/show_bug.cgi?id=156893 there exists cpufreq support in xen now. Could this be enabled in Debian's kernel? -- Frederik