Here's a weird difference I just noticed between the Xen and non-xen kernels on FC6: The VCore voltage reported is lower in non-xen than in xen. In gkrellm the sensor in the config file is described as: sensor "VCore" "it8712@290/in0" 10000 0 1 0 and the sensors program prints: it8712-isa-0290 Adapter: ISA adapter VCore 1: +1.10 V (min = +1.42 V, max = +1.57 V) ALARM The both report 1.10 (by the way - I haven't bothered to configure the alarm values in the /etc/sensors.conf file, so pay no attention to the ranges and alarms). If I boot the Xen kernel, the value shows up as 1.36 volts most of the time. The 1.36 value appears to be the correct one because when I'm in the BIOS hardware monitor, it normally shows 1.36 volts, and when I boot Windows and run the Biostar monitor program that came with the motherboard, it also shows 1.36 volts. A weird little oddity. Worth reporting as a bug? (Against what I wonder?) This is a Biostar TForce4 U motherboard running an Athlon 64 X2 4400+