From: Guillaume Le Vaillant <glv@posteo.net>
To: eisbaer@tilde.team
Cc: help-guix@gnu.org
Subject: Re: Custom kernel config is not taken by guix
Date: Sat, 01 Apr 2023 11:35:56 +0000 [thread overview]
Message-ID: <87ilefddmy.fsf@kitej> (raw)
In-Reply-To: <0d7a624a51833534bc78b6ee1603175731632eb6@tilde.team>
[-- Attachment #1: Type: text/plain, Size: 5493 bytes --]
eisbaer@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/config.scm) is not taken by guix for compiling the kernel. Instead some other configuration file is used wich hasn't the options set I want it to have. The config file I want to use is in the same folder as the /etc/config.scm and is named debug_config2. I am checking /proc/config.gz if the options I changed in debug_config2 are changed and they are not.
>
> greetings :)
>
> ================================
> /etc/config.scm
> ================================
> ;; Diese Betriebssystemkonfiguration wurde vom
> ;; grafischen Installationsprogramm erzeugt.
> ;;
> ;; Sobald die Installation abgeschlossen ist, kann man die
> ;; Systemkonfiguration einsehen, verstehen und modifizieren. Übergeben
> ;; Sie die modifizierte Systemkonfiguration an den Befehl
> ;; 'guix system reconfigure', damit die Veränderungen wirksam werden.
>
>
> ;; Gibt an, welche Module importiert werden müssen, um auf die
> ;; benutzten Variablen dieser Konfiguration zugreifen zu können.
> (use-modules (gnu)
> (gnu packages linux))
> (use-service-modules cups desktop networking ssh xorg)
>
>
> ;(define %custom-linux-config
> ; (append `(("CONFIG_DEBUG_INFO" . #t))
> ; (@@ (gnu packages linux) %default-extra-linux-options)))
>
> ;(define linux-libre-debug
> ; ((@@ (gnu packages linux) make-linux-libre*)
> ; (@@ (gnu packages linux) linux-libre-version)
> ; (@@ (gnu packages linux) linux-libre-gnu-revision)
> ; (@@ (gnu packages linux) linux-libre-source)
> ; '("x86_64-linux")
> ; #:extra-version "debug"
> ; #:extra-options %custom-linux-config))
>
> (use-modules (guix packages)
> (gnu)
> (gnu packages linux)
> (srfi srfi-1))
>
> (define-public linux-libreDEBUG
> (package
> (inherit linux-libre)
> (name "linux-libreDEBUG")
> (native-inputs
> `(("kconfig" ,(local-file "debug_config2"))
> ,@(alist-delete "kconfig"
> (package-native-inputs linux-libre))))
>
>
> ))
>
>
> (operating-system
> (locale "de_DE.utf8")
> (timezone "Europe/Berlin")
> (keyboard-layout (keyboard-layout "de"))
> (host-name "guix-test")
>
> (kernel linux-libreDEBUG)
> ;(kernel linux-libre)
> [...]
Hi.
There's a 'customize-linux' function (in the (gnu packages linux)
module) to make Linux kernels with custom configurations. I have not
tested, but maybe something like the following could do what you want:
--8<---------------cut here---------------start------------->8---
(define linux-libre-debug
(customize-linux #:linux linux-libre
#:configs '("CONFIG_DEBUG_INFO=y")))
(operating-system
(kernel linux-libre-debug)
...)
--8<---------------cut here---------------end--------------->8---
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 247 bytes --]
next prev parent reply other threads:[~2023-04-01 11:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-22 16:07 Custom kernel config is not taken by guix eisbaer
2023-04-01 11:35 ` Guillaume Le Vaillant [this message]
[not found] ` <5d0a15e9ab3f8ce31577650959327c950d215fec@tilde.team>
2023-04-04 13:54 ` Guillaume Le Vaillant
2023-04-04 18:34 ` eisbaer
2023-04-05 12:14 ` Guillaume Le Vaillant
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87ilefddmy.fsf@kitej \
--to=glv@posteo.net \
--cc=eisbaer@tilde.team \
--cc=help-guix@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).