Re: Custom kernel config is not taken by guix

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

-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 in .config and a

Re: Custom kernel config is not taken by guix

t-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 specified options to the config

Re: Custom kernel config is not taken by guix

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

Custom kernel config is not taken by guix

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

Re: Kernel config

>> 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

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

Re: Kernel config

> (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

Re: Kernel config

-public linux-libre-config variant >> (package >> (inherit linux-libre) >> (native-inputs >> (let ((conf (kernel-config (or (%current-target-system) >> (%current-system)) >> #:variant

Re: Kernel config

Vincent Legoll <vincent.leg...@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 >

Re: Kernel config

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

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

Kernel config

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