On Sun, Jan 11, 2026 at 09:45:56AM +0100, Jan Stary wrote:
> Hi Ron,
> 
> I am running this on my RPI4B -
> dmesg below, the difference being
> 
> 	-"firmware" at simplebus0 not configured
> 	+rpicpu0 at simplebus0: 600-1500 MHz
> 
> This is what sysctl hw says:
> 
> hw.machine=arm64
> hw.model=ARM Cortex-A72 r0p3
> hw.ncpu=4
> hw.byteorder=1234
> hw.pagesize=4096
> hw.disknames=sd0:a33e6029ac9d8f70
> hw.diskcount=1
> hw.sensors.bcmtmon0.temp0=53.07 degC
> hw.cpuspeed=1500
> hw.setperf=100
> hw.vendor=raspberrypi
> hw.product=Raspberry Pi 4 Model B Rev 1.4
> hw.serialno=10000000690ec9eb
> hw.uuid=31303030-3030-3030-3639-306563396500
> hw.physmem=8441495552
> hw.usermem=8441491456
> hw.ncpufound=4
> hw.allowpowerdown=1
> hw.perfpolicy=high
> hw.smt=0
> hw.ncpuonline=4
> hw.power=1
> hw.ucomnames=
> 
> So with hw.setperf=100 it runs at 1500.
> As a naive test, I recompiled the same kernel:
> 
> before:	34m45.95s real   108m28.41s user    19m37.55s system
> after:	19m25.87s real    59m24.15s user    10m21.18s system
>

Do you use 'passive' cooling? I mean without any fan. I'm curious about
temperature.