Hi,
I'm trying to read my CPU's temperature from /proc/acpi/thermal_zone,
but that directory is empty. The BIOS does show the CPU's
temperature however. I can also get temperature readings using the hwmon
module, but I'm not sure whether those are from the CPU or from other
components.

This is with an Athlon64 X2 on a Gigabyte GA-M56S-S3. I'm currently
running Linux 2.6.23.1.

I stuck some printk's into drivers/acpi/thermal.c and found out that
acpi_thermal_add() is failing because acpi_thermal_get_temperature()
returns -ENODEV.

Is this a kernel bug, or a problem with the BIOS?

I'm attaching dmesg output etc, maybe that helps in pinpointing the
problem.

Thanks,
Tilman

-- 
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing on usenet and in e-mail?