From: Crystal Kolipe <kolipe.c@exoticsilicon.com>
Subject: Re: Initial Raspberry Pi CPU frequency driver (apm -A)
To: Jan Stary <hans@stare.cz>
Cc: tech@openbsd.org
Date: Mon, 26 Jan 2026 09:54:03 +0000

On Sun, Jan 25, 2026 at 11:55:39PM +0100, Jan Stary wrote:
> > but check with my fingers exposes the same.
> 
> Is that a joke, or are you actually saying
> that you _feel_ the RPI to be hotter now?

It makes sense to check both the reported sensor temperature and the external
heatsink temperature.

Consider the situation where the thermal coupling between the CPU and the
heatsink is insufficient.  It's quite likely that you'd see a rapid and more
significant increase in the temperature measured from the sensors without a
corresponding heatsink temperature increase.