On Mon, Dec 26, 2022 at 06:11:50PM +0000, phodina wrote:
> Hello Efraim,
> 
> > I was able to get it to say it would be added when I added the following
> > to my OS config:
> > 
> 
> > (kernel-loadable-modules (list `(,corefreq "linux-module")))
> > 
> 
> > I didn't actually try building or running it though.
> 
> Adding this line to OS definition fixes the initial issue.
> 
> However, you still need to manually add the kernel module and start the corefreqd daemon as a root.
> 
> ```
> $ corefreq-cli
> Daemon connection error code 2
> corefreq-ro-shm: 'No such file or directory' @ line 19075
> $ corefreqd
> corefreqd execution error code 13
> Permission denied @ line 8002
> $ sudo -E corefreqd
> Password:
> Driver connection error code 2
> /dev/corefreqk: 'No such file or directory' @ line 7998
> $ sudo -E modprobe corefreqk
> $ sudo -E corefreqd &
> CoreFreq Daemon 1.90.1  Copyright (C) 2015-2022 CYRIL INGENIERIE
> $ corefreq-cli
> # Now it launches :-)
> ```
> So maybe a service would be handy, what do you think?

Sounds like you have your work cut out for you :)


-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted