Just curious... been exploring the RPi H/W... can't escape my embedded device-driver "down on the bare metal" past... in that vein I noticed the value in ../thermal_zone0/temp is always different from the value returned by vcgencmd measure_temp, by a varying delta of 0.6 to 1.8 degC... interesting...
... what other mechanisms are there for monitoring temperatures on the SoC and NIC chip? Any other chips have thermal issues?
Thanks in advance.