Ludovic Courtès writes:
> Do you think it’s something we should add to ‘%base-services’, or is it
> too hardware-dependent?

It does seem like an unusual requirement to me, since most systems
should do thermal management automatically in the CPU and BIOS.

I can run my physical machines (GuixSD or Debian) at full CPU
utilization for extended periods of time without overheating.