Kernel config

Kernel config

[Vincent Legoll]

hello,

I'm wondering if it is possible to pass a .config file to be used for
"guix system", as
currently the config used is very heavy, and takes ages to build.

Thanks

-- 
Vincent Legoll

Re: Kernel config

[Vincent Legoll]

I've seen in gnu/packages/linux.scm that the default configs
are in gnu/packages/linux-libre-*.conf

-- 
Vincent Legoll

Re: Kernel config

[Ricardo Wurmus]

Vincent Legoll <vincent.legoll@gmail.com> writes:

> I'm wondering if it is possible to pass a .config file to be used for
> "guix system", as
> currently the config used is very heavy, and takes ages to build.

To use a different configuration you would create a new package variant
of the “linux-libre” package in “gnu/packages/linux.scm”, overriding the
native-input with the label “kconfig”.  Then you can specify your kernel
variant package in the “kernel” field of your system configuration.

I don’t recommend changing the default configuration in your local
checkout.

Hope this helps!

~~ Ricardo

Re: Kernel config

[Vincent Legoll]

Thanks a lot, I'll see if I manage to get that done...

On Sat, Jul 16, 2016 at 7:39 PM, Ricardo Wurmus <rekado@elephly.net> wrote:
>
> Vincent Legoll <vincent.legoll@gmail.com> writes:
>
>> I'm wondering if it is possible to pass a .config file to be used for
>> "guix system", as
>> currently the config used is very heavy, and takes ages to build.
>
> To use a different configuration you would create a new package variant
> of the “linux-libre” package in “gnu/packages/linux.scm”, overriding the
> native-input with the label “kconfig”.  Then you can specify your kernel
> variant package in the “kernel” field of your system configuration.
>
> I don’t recommend changing the default configuration in your local
> checkout.
>
> Hope this helps!
>
> ~~ Ricardo
>



-- 
Vincent Legoll

Re: Kernel config

[Ludovic Courtès]

Hi,

Changing the kernel config is currently inconvenient as you can see.
Ideally we should provide an API to express a set of options to turn on
and off.

Ludo’.

Re: Kernel config

[Vincent Legoll]

Would the following work in the mean time ?

1. Adding the following to gnu/packages/linux.scm :

(define-public linux-libre-config variant
  (package
    (inherit linux-libre)
    (native-inputs
     (let ((conf (kernel-config (or (%current-target-system)
                                    (%current-system))
                                #:variant variant)))
       `(,@(alist-delete "kconfig" (package-native-inputs linux-libre))
         ("kconfig" ,conf))))))

2. Adding this to your OS definition config.scm :

(operating-system
...
  (kernel (linux-libre-config "4.6-vince")))

3. putting the kconfig file into:

gnu/packages/linux-libre-4.6-vince-x86_64.conf

If that's OK, I can prepare a patch adding the missing pieces...

-- 
Vincent Legoll

Re: Kernel config

[Ludovic Courtès]

Vincent Legoll <vincent.legoll@gmail.com> skribis:

> Would the following work in the mean time ?
>
> 1. Adding the following to gnu/packages/linux.scm :
>
> (define-public linux-libre-config variant
>   (package
>     (inherit linux-libre)
>     (native-inputs
>      (let ((conf (kernel-config (or (%current-target-system)
>                                     (%current-system))
>                                 #:variant variant)))
>        `(,@(alist-delete "kconfig" (package-native-inputs linux-libre))
>          ("kconfig" ,conf))))))

This should roughly work.  However, I think one can already provide
their own config file with something like:

  (define-public my-own-linux-libre
    (package
      (inherit linux-libre)
      (native-inputs
        `(("kconfig" ,(local-file "./my-kernel.conf"))
          ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))

… which can be dropped in a file in $GUIX_PACKAGE_PATH.

It remains somewhat inconvenient, though.

WDYT?

Ludo’.

Re: Kernel config

[Vincent Legoll]

On Sun, Jul 17, 2016 at 7:49 PM, Ludovic Courtès <ludo@gnu.org> wrote:
> Vincent Legoll <vincent.legoll@gmail.com> skribis:
>
>> Would the following work in the mean time ?
>>
>> 1. Adding the following to gnu/packages/linux.scm :
>>
>> (define-public linux-libre-config variant
>>   (package
>>     (inherit linux-libre)
>>     (native-inputs
>>      (let ((conf (kernel-config (or (%current-target-system)
>>                                     (%current-system))
>>                                 #:variant variant)))
>>        `(,@(alist-delete "kconfig" (package-native-inputs linux-libre))
>>          ("kconfig" ,conf))))))
>
> This should roughly work.  However, I think one can already provide
> their own config file with something like:
>
>   (define-public my-own-linux-libre
>     (package
>       (inherit linux-libre)
>       (native-inputs
>         `(("kconfig" ,(local-file "./my-kernel.conf"))
>           ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
>
> … which can be dropped in a file in $GUIX_PACKAGE_PATH.
>
> It remains somewhat inconvenient, though.

Yes, that would be simpler.

Does it have to be in root's $GUIX_PACKAGE_PATH, or can guix system reconfigure
work as a user ? That would be a sufficiently good solution, I think...

I'll try it.

-- 
Vincent Legoll

Re: Kernel config

[Ricardo Wurmus]

Vincent Legoll <vincent.legoll@gmail.com> writes:
>
> Does it have to be in root's $GUIX_PACKAGE_PATH, or can guix system reconfigure
> work as a user ? That would be a sufficiently good solution, I think...

“guix system reconfigure” has to be run as root.  With “sudo -E” you can
preserve the current user’s environment, so GUIX_PACKAGE_PATH doesn’t
need to be set for root explicitly.

~~ Ricardo

Re: Kernel config

[Vincent Legoll]

>   (define-public my-own-linux-libre
>     (package
>       (inherit linux-libre)
>       (native-inputs
>         `(("kconfig" ,(local-file "./my-kernel.conf"))
>           ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
>
> … which can be dropped in a file in $GUIX_PACKAGE_PATH.
>
> It remains somewhat inconvenient, though.

Yep, inconvenient in the sense I couldn't find the right incantation to
make this work, even with the help from people on #guix...

-- 
Vincent Legoll

Re: Kernel config

[Ludovic Courtès]

Vincent Legoll <vincent.legoll@gmail.com> skribis:

>>   (define-public my-own-linux-libre
>>     (package
>>       (inherit linux-libre)
>>       (native-inputs
>>         `(("kconfig" ,(local-file "./my-kernel.conf"))
>>           ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
>>
>> … which can be dropped in a file in $GUIX_PACKAGE_PATH.
>>
>> It remains somewhat inconvenient, though.
>
> Yep, inconvenient in the sense I couldn't find the right incantation to
> make this work, even with the help from people on #guix...

Here’s a more complete example that works for me.

First, I have this linux-libre.scm file in my GUIX_PACKAGE_PATH:

--8<---------------cut here---------------start------------->8---
(define-module (linux-libre)
  #:use-module (guix gexp)
  #:use-module (guix packages)
  #:use-module (gnu packages linux)
  #:use-module (srfi srfi-1))

(define-public my-own-linux-libre
  (package
    (inherit linux-libre)
    (name "linux-libre-for-myself")
    (native-inputs
     `(("kconfig" ,(local-file "./my-kernel.conf"))
       ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
--8<---------------cut here---------------end--------------->8---

In the same directory lies the file ‘my-kernel.conf’.

With this, I can do:

--8<---------------cut here---------------start------------->8---
$ guix build linux-libre-for-myself -n --no-grafts
The following derivation would be built:
   /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv
$ guix gc --references /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv | grep my-kernel
/gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
$ cat /gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
Fake kernel conf.
--8<---------------cut here---------------end--------------->8---

Does something similar works for you?

HTH,
Ludo’.

Re: Kernel config

[Vincent Legoll]

On Thu, Jul 21, 2016 at 2:06 PM, Ludovic Courtès <ludo@gnu.org> wrote:
> Vincent Legoll <vincent.legoll@gmail.com> skribis:
>
>>>   (define-public my-own-linux-libre
>>>     (package
>>>       (inherit linux-libre)
>>>       (native-inputs
>>>         `(("kconfig" ,(local-file "./my-kernel.conf"))
>>>           ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
>>>
>>> … which can be dropped in a file in $GUIX_PACKAGE_PATH.
>>>
>>> It remains somewhat inconvenient, though.
>>
>> Yep, inconvenient in the sense I couldn't find the right incantation to
>> make this work, even with the help from people on #guix...
>
> Here’s a more complete example that works for me.
>
> First, I have this linux-libre.scm file in my GUIX_PACKAGE_PATH:
>
> --8<---------------cut here---------------start------------->8---
> (define-module (linux-libre)
>   #:use-module (guix gexp)
>   #:use-module (guix packages)
>   #:use-module (gnu packages linux)
>   #:use-module (srfi srfi-1))
>
> (define-public my-own-linux-libre
>   (package
>     (inherit linux-libre)
>     (name "linux-libre-for-myself")
>     (native-inputs
>      `(("kconfig" ,(local-file "./my-kernel.conf"))
>        ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
> --8<---------------cut here---------------end--------------->8---
>
> In the same directory lies the file ‘my-kernel.conf’.
>
> With this, I can do:
>
> --8<---------------cut here---------------start------------->8---
> $ guix build linux-libre-for-myself -n --no-grafts
> The following derivation would be built:
>    /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv
> $ guix gc --references /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv | grep my-kernel
> /gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
> $ cat /gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
> Fake kernel conf.
> --8<---------------cut here---------------end--------------->8---
>
> Does something similar works for you?

No, I get:

guix build: error: /home/vince/guix-packages/linux-libre.scm:8:2:
package `linux-libre-for-myself-4.5' has an invalid input: ("kconfig"
#<<local-file> file: "./my-kernel.conf" absolute: #<promise
#<procedure 55079f0 at ice-9/eval.scm:416:20 ()>> name:
"my-kernel.conf" recursive?: #f>)

Which is very similar to what I was getting yesterday evening, with the various
modifications that efraim asked me to try on IRC

-- 
Vincent Legoll

Re: Kernel config

[Ludovic Courtès]

Vincent Legoll <vincent.legoll@gmail.com> skribis:

> On Thu, Jul 21, 2016 at 2:06 PM, Ludovic Courtès <ludo@gnu.org> wrote:
>> Here’s a more complete example that works for me.
>>
>> First, I have this linux-libre.scm file in my GUIX_PACKAGE_PATH:
>>
>> --8<---------------cut here---------------start------------->8---
>> (define-module (linux-libre)
>>   #:use-module (guix gexp)
>>   #:use-module (guix packages)
>>   #:use-module (gnu packages linux)
>>   #:use-module (srfi srfi-1))
>>
>> (define-public my-own-linux-libre
>>   (package
>>     (inherit linux-libre)
>>     (name "linux-libre-for-myself")
>>     (native-inputs
>>      `(("kconfig" ,(local-file "./my-kernel.conf"))
>>        ,@(alist-delete "kconfig" (package-native-inputs linux-libre))))))
>> --8<---------------cut here---------------end--------------->8---
>>
>> In the same directory lies the file ‘my-kernel.conf’.
>>
>> With this, I can do:
>>
>> --8<---------------cut here---------------start------------->8---
>> $ guix build linux-libre-for-myself -n --no-grafts
>> The following derivation would be built:
>>    /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv
>> $ guix gc --references /gnu/store/23b25z660ahglylv5blm2l9cbrc639c2-linux-libre-for-myself-4.6.4.drv | grep my-kernel
>> /gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
>> $ cat /gnu/store/pq885cy0bi73acwh1wdx4agn5y5vrf2z-my-kernel.conf
>> Fake kernel conf.
>> --8<---------------cut here---------------end--------------->8---
>>
>> Does something similar works for you?
>
> No, I get:
>
> guix build: error: /home/vince/guix-packages/linux-libre.scm:8:2:
> package `linux-libre-for-myself-4.5' has an invalid input: ("kconfig"
> #<<local-file> file: "./my-kernel.conf" absolute: #<promise
> #<procedure 55079f0 at ice-9/eval.scm:416:20 ()>> name:
> "my-kernel.conf" recursive?: #f>)

Support for using ‘local-file’ and similar in package inputs was added
by commit da675305ddf2ba574e309e515d18ae1f778297be (June 15th).

Could it be that you’re using an older Guix?

Thanks,
Ludo’.

Re: Kernel config

[Vincent Legoll]

> Support for using ‘local-file’ and similar in package inputs was added
> by commit da675305ddf2ba574e309e515d18ae1f778297be (June 15th).
>
> Could it be that you’re using an older Guix?

That's possible, I did a few guix pulls since I installed from 0.10.0 usb

but

$ guix --version
guix (GNU Guix) 0.10.0

how can I know the git ID of my current guix store ?

-- 
Vincent Legoll

Re: Kernel config

[Vincent Legoll]

Something that I don't understand:

root@guixsd ~# guix --version
guix (GNU Guix) 20160722.06
root@guixsd ~# which guix
/run/current-system/profile/bin/guix

vince@guixsd ~$ guix --version
guix (GNU Guix) 0.10.0
vince@guixsd ~$ which guix
/run/current-system/profile/bin/guix

-- 
Vincent Legoll

Re: Kernel config

[Vincent Legoll]

And it appears that this is causing the error

[...] package `linux-libre-for-myself-4.5' has an invalid input:
("kconfig" [...]

-- 
Vincent Legoll

Re: Kernel config

[Ludovic Courtès]

Vincent Legoll <vincent.legoll@gmail.com> skribis:

> Something that I don't understand:
>
> root@guixsd ~# guix --version
> guix (GNU Guix) 20160722.06
> root@guixsd ~# which guix
> /run/current-system/profile/bin/guix

This one is recent, and the ‘local-file’ trick should work with it.

> vince@guixsd ~$ guix --version
> guix (GNU Guix) 0.10.0
> vince@guixsd ~$ which guix
> /run/current-system/profile/bin/guix

This one might be too old, though we can’t really tell.

They show different versions because in fact, all of Guix except the
‘guix’ command (which does very little) is taken from
~/.config/guix/latest, populated by ‘guix pull’.  Remember that ‘guix
pull’ is per-user.

HTH,
Ludo’.

Re: Kernel config

[Vincent Legoll]

>> Something that I don't understand:
>>
>> root@guixsd ~# guix --version
>> guix (GNU Guix) 20160722.06
>> root@guixsd ~# which guix
>> /run/current-system/profile/bin/guix
>
> This one is recent, and the ‘local-file’ trick should work with it.

Indeed, thanks

>> vince@guixsd ~$ guix --version
>> guix (GNU Guix) 0.10.0
>> vince@guixsd ~$ which guix
>> /run/current-system/profile/bin/guix
>
> This one might be too old, though we can’t really tell.
>
> They show different versions because in fact, all of Guix except the
> ‘guix’ command (which does very little) is taken from
> ~/.config/guix/latest, populated by ‘guix pull’.  Remember that ‘guix
> pull’ is per-user.

Yep, after doing guix pull as user, it worked properly...

Sorry for the noise...

-- 
Vincent Legoll