eisbaer@tilde.team skribis:

> Thanks a lot for your reply. Your example did not work on my machine. I adjusted my config.scm as you said but the guix systemc reconfigure did not run through... 
>
>
> ========================
> error in  /var/log/guix/drvs/jr/88fpnzh0kc7w7vwjz78b501sdy2jcg-linux-libre-6.1.15.drv.gz
> ========================
> [...]
> error: in phase 'configure': uncaught exception:
> misc-error #f "~A ~S" ("Mismatching configurations in .config and arch/x86/configs/guix_defconfig" (("CONFIG_DEBUG_INFO" (#f "y")))) #f 
> phase `configure' failed after 14.2 seconds
> Backtrace:
>            8 (primitive-load "/gnu/store/a2kzfabrb2qrj85xq5z8fnkg9z5…")
> In guix/build/gnu-build-system.scm:
>     906:2  7 (gnu-build #:source _ #:outputs _ #:inputs _ #:phases . #)
> In ice-9/boot-9.scm:
>   1752:10  6 (with-exception-handler _ _ #:unwind? _ # _)
> In srfi/srfi-1.scm:
>     634:9  5 (for-each #<procedure 7ffff6107740 at guix/build/gnu-b…> …)
> In ice-9/boot-9.scm:
>   1752:10  4 (with-exception-handler _ _ #:unwind? _ # _)
> In guix/build/gnu-build-system.scm:
>    927:23  3 (_)
> In guix/build/kconfig.scm:
>     174:6  2 (verify-config ".config" "arch/x86/configs/guix_defconf…")
> 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 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 file. In this case it
looks like there are other options in the config file that are not
compatible with the added CONFIG_DEBUG_INFO option.

So I think you will have to make a kernel config file with the options
you want using a regular kernel configurator (e.g. "make menuconfig",
"make xconfig" etc in the kernel source tree). Then you should be able
to use this custom config file with the '#:defconfig' keyword:

--8<---------------cut here---------------start------------->8---
(define linux-libre-debug
  (customize-linux #:linux linux-libre
                   #:defconfig (local-file "/path/to/custom/config")))

(operating-system
  (kernel linux-libre-debug)
  ...)
--8<---------------cut here---------------end--------------->8---