Re: Custom kernel config is not taken by guix

2023-04-05 Thread Guillaume Le Vaillant
eisb...@tilde.team skribis: > Ok. Thank you! That worked. At least it compiles now... However I happen to > get the following error during the compilation process: > > > zcat > /var/log/guix/drvs/1l/3q5c3d89fv3dibynv55v3jqa4cdmxl-linux-libre-6.2.9.drv.gz > ==

Re: Custom kernel config is not taken by guix

2023-04-04 Thread eisbaer
t; > In ice-9/boot-9.scm: > > > > 1685:16 1 (raise-exception _ #:continuable? _) > > > > 1685:16 0 (raise-exception _ #:continuable? _) > > > > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > > > > Mismatching configurations i

Re: Custom kernel config is not taken by guix

2023-04-04 Thread Guillaume Le Vaillant
; ice-9/boot-9.scm:1685:16: In procedure raise-exception: > Mismatching configurations in .config and arch/x86/configs/guix_defconfig > (("CONFIG_DEBUG_INFO" (#f "y"))) Hi. Using the 'customize-linux' function with the '#:configs' keyword just adds the specif

Re: Custom kernel config is not taken by guix

2023-04-01 Thread Guillaume Le Vaillant
eisb...@tilde.team skribis: > Hello, > I'm having problems compiling the linux-libre kernel with a custom config. > I'm aiming at enabeling the debug info. > The problem I am troubled with is that the configuration I am telling guix to > use in my /etc/config.scm (guix system reconfigure /etc/co

Custom kernel config is not taken by guix

2023-03-23 Thread eisbaer
Hello, I'm having problems compiling the linux-libre kernel with a custom config. I'm aiming at enabeling the debug info. The problem I am troubled with is that the configuration I am telling guix to use in my /etc/config.scm (guix system reconfigure /etc/config.scm) is not taken by guix for com

Re: Kernel config

2016-07-22 Thread 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 >>

Re: Kernel config

2016-07-22 Thread Ludovic Courtès
Vincent Legoll 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 >

Re: Kernel config

2016-07-22 Thread 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

2016-07-22 Thread 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

2016-07-21 Thread 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 Gui

Re: Kernel config

2016-07-21 Thread Ludovic Courtès
Vincent Legoll skribis: > On Thu, Jul 21, 2016 at 2:06 PM, Ludovic Courtès 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

Re: Kernel config

2016-07-21 Thread Vincent Legoll
On Thu, Jul 21, 2016 at 2:06 PM, Ludovic Courtès wrote: > Vincent Legoll skribis: > >>> (define-public my-own-linux-libre >>> (package >>> (inherit linux-libre) >>> (native-inputs >>> `(("kconfig" ,(local-file "./my-kernel.conf")) >>> ,@(alist-delete "kconfig"

Re: Kernel config

2016-07-21 Thread Ludovic Courtès
Vincent Legoll 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 drop

Re: Kernel config

2016-07-20 Thread 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_PAT

Re: Kernel config

2016-07-17 Thread Ricardo Wurmus
Vincent Legoll 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

Re: Kernel config

2016-07-17 Thread Vincent Legoll
gt;> (inherit linux-libre) >> (native-inputs >> (let ((conf (kernel-config (or (%current-target-system) >> (%current-system)) >> #:variant variant))) >>`(,@(alist-dele

Re: Kernel config

2016-07-17 Thread Ludovic Courtès
Vincent Legoll 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

Re: Kernel config

2016-07-17 Thread 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

Re: Kernel config

2016-07-16 Thread 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

2016-07-16 Thread 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 wrote: > > Vincent Legoll 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 b

Re: Kernel config

2016-07-16 Thread Ricardo Wurmus
Vincent Legoll 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/pac

Kernel config

2016-07-16 Thread 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

2016-07-16 Thread Vincent Legoll
I've seen in gnu/packages/linux.scm that the default configs are in gnu/packages/linux-libre-*.conf -- Vincent Legoll