all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* Custom kernel config is not taken by guix
@ 2023-03-22 16:07 eisbaer
  2023-04-01 11:35 ` Guillaume Le Vaillant
       [not found] ` <5d0a15e9ab3f8ce31577650959327c950d215fec@tilde.team>
  0 siblings, 2 replies; 5+ messages in thread
From: eisbaer @ 2023-03-22 16:07 UTC (permalink / raw)
  To: help-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 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)))


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2023-04-05 12:20 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-03-22 16:07 Custom kernel config is not taken by guix eisbaer
2023-04-01 11:35 ` 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

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.