Re: Corefreq: How to specify output in OS definition

2022-12-26 Thread Efraim Flashner
On Mon, Dec 26, 2022 at 06:11:50PM +, 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  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature


Re: Corefreq: How to specify output in OS definition

2022-12-26 Thread phodina
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?


Petr



Re: Corefreq: How to specify output in OS definition

2022-12-26 Thread Efraim Flashner
On Sat, Dec 24, 2022 at 10:47:33PM +, Tobias Geerinckx-Rice wrote:
> Hi Petr,
> 
> I think this package might predate k-l-m, in which case the honest answer is 
> ‘I don't’ :-)  If it's not supported, however, it should be.
> 
> I'll try to remember to check how I use it when I get back to my laptop.  If 
> I forget, complain.
> 
> Kind regards,
> 
> T G-R
> 

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.

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


signature.asc
Description: PGP signature


Re: Corefreq: How to specify output in OS definition

2022-12-24 Thread Tobias Geerinckx-Rice
Hi Petr,

I think this package might predate k-l-m, in which case the honest answer is ‘I 
don't’ :-)  If it's not supported, however, it should be.

I'll try to remember to check how I use it when I get back to my laptop.  If I 
forget, complain.

Kind regards,

T G-R

Sent on the go.  Excuse or enjoy my brevity.