Hi
I am trying to install GuixSD on a 4-core Samsung laptop.
It gets too hot and shuts off when I run guix pull utilizing multiple cores.

I would like to limit the cpu frequency via the program cpufreq-set which is available already.

How would I go about doing this in config.scm? 
-- 
Cheers Swedebugia