From: eisbaer@tilde.team
To: help-guix@gnu.org
Subject: Custom kernel config is not taken by guix
Date: Wed, 22 Mar 2023 16:07:58 +0000 [thread overview]
Message-ID: <0d7a624a51833534bc78b6ee1603175731632eb6@tilde.team> (raw)
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)
;; Die Liste der Benutzerkonten ('root' ist mit eingeschlossen).
(users (cons* (user-account
(name "user")
(comment "User")
(group "users")
(home-directory "/home/user")
(supplementary-groups '("wheel" "netdev" "audio" "video")))
%base-user-accounts))
;; Packages installed system-wide. Users can also install packages
;; under their own account: use 'guix search KEYWORD' to search
;; for packages and 'guix install PACKAGE' to install a package.
(packages (append (list (specification->package "nss-certs"))
%base-packages))
;; Unterhalb ist die Liste von Systemdiensten. Um nach verfügbaren
;; Systemdiensten zu suchen, führen Sie den Befehl
;; 'guix system search SCHLÜSSELWORT' in einem Terminal aus.
(services
(append (list
;; Zum Konfigurieren des "OpenSSH"-Dienstes muss unterhalb ein
;; 'openssh-configuration'-Verbundsobjekt als zweites Argument
;; für 'service' angegeben werden.
(service openssh-service-type)
(service dhcp-client-service-type)
(service ntp-service-type))
;; Dies ist die Standardliste von Diensten, zu der wir
;; Einträge hinzufügen.
%base-services))
(bootloader (bootloader-configuration
(bootloader grub-bootloader)
(targets (list "/dev/sda"))
(keyboard-layout keyboard-layout)))
(swap-devices (list (swap-space
(target (uuid
"abfd6b5f-c834-4bf4-9885-51573e9aad17")))))
;; Die Liste der Dateisysteme, die "eingehängt" werden. Die, zu den
;; Dateisystemen einzigartigen, Identifikatoren ("UUIDs") können durch das
;; Ausführen des Befehls "blkid" in einem Terminal erhalten werden.
(file-systems (cons* (file-system
(mount-point "/")
(device (uuid
"740edb31-cd49-444d-b243-21699f9d76a3"
'ext4))
(type "ext4")) %base-file-systems)))
next reply other threads:[~2023-03-23 11:33 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-22 16:07 eisbaer [this message]
2023-04-01 11:35 ` Custom kernel config is not taken by guix Guillaume Le Vaillant
[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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0d7a624a51833534bc78b6ee1603175731632eb6@tilde.team \
--to=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.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.