From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id ePfVHrAwLGTtIQAASxT56A (envelope-from ) for ; Tue, 04 Apr 2023 16:14:08 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id +FwOH7AwLGQ5QwEA9RJhRA (envelope-from ) for ; Tue, 04 Apr 2023 16:14:08 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 1F1932B867 for ; Tue, 4 Apr 2023 16:14:07 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pjhPv-0007vk-PM; Tue, 04 Apr 2023 10:13:47 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pjhPq-0007ug-H6 for help-guix@gnu.org; Tue, 04 Apr 2023 10:13:43 -0400 Received: from mout02.posteo.de ([185.67.36.66]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pjhPi-0002rs-BH for help-guix@gnu.org; Tue, 04 Apr 2023 10:13:36 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 8B5FF240282 for ; Tue, 4 Apr 2023 16:13:30 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1680617610; bh=K2PMkhJHASJLNoz60dohCkFkxziAi/OKdzpu1weaCiA=; h=From:To:Cc:Subject:Date:From; b=atV/j6UmcV/YfoRkzFpA9dfv+QGIHQNCAQhW9yuMYRBpTJ4SfV1s9IT/EIf/U2V3+ kcnZcRf6KPMc8YHU2r9OLpWO3SYr5A688mWzWih5M32zO9WXu+0SVBUHZnRpvDslSR xdmL7nZW/6g4EotT9Z5701skY4rDSXxiZXTUwesPmUqHfPoS2++lfyg0SAEJ32fQOr C9tdf7RG3obwajmP6Eo1NwY2F5/P0wzFu2HknVWrbY75lfv7dndwhVE+VR1ZhejTaA ES80vDyPz3vwBC3s4do2A303+s/S6Uw68XemYhlrgLIN12A/SlSKH20H0Rjxwvgt7a WU8kWqGKUMjzg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4PrV9P6Y3pz6tsb; Tue, 4 Apr 2023 16:13:29 +0200 (CEST) References: <87ilefddmy.fsf@kitej> <0d7a624a51833534bc78b6ee1603175731632eb6@tilde.team> <5d0a15e9ab3f8ce31577650959327c950d215fec@tilde.team> From: Guillaume Le Vaillant To: eisbaer@tilde.team Cc: help-guix@gnu.org Subject: Re: Custom kernel config is not taken by guix Date: Tue, 04 Apr 2023 13:54:53 +0000 In-reply-to: <5d0a15e9ab3f8ce31577650959327c950d215fec@tilde.team> Message-ID: <871qkzbura.fsf@kitej> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=185.67.36.66; envelope-from=glv@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1680617648; a=rsa-sha256; cv=none; b=L7VaPlVs58nQUqj6gak19KLaXkYuICmRtxosheUBM8Wld8vbnVcm1ZWhbESlHLxQAdIZ1H h6UsHZl47SZNQ2SPRE+AX9KdKwzSyk7x6O0cLXNgBV6gkP49jRg9hx/tXcvFI8J0S1Cri6 wx5Ac/CGAD/r3eaQjgNXxSysL+7tXJ5LZSorYsmkAWp29KGWax0YKx/6Ec0QUNMZfc94WL 1CJLGZz7fK2xegZZSQJ0nCoIOd/ssZM6t8URuv5YtHZEP5z9sDbe+Z4wcKISUiBUeKio/j Srfkd5mIMmwL/AJzHB4a3ncmtBKWtpyQArgnNN33T72OjmWAQIbqdpCdmp43Vw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b="atV/j6Um"; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1680617648; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=2Ajpk4HhcMbgPisci0VEhtNJXEsz31FPXUJ/7044CvE=; b=O4ke3psCYDFM0DmIwWzB7qrtZdhVBDrP2a+NzurkwcINDa2fYvF99CrubMQdVf4HUnMPc0 7EqMxv7bVZ7uRyTcM54PSN0GRv6qVYJJMZiWeQ7bHbqQ145s4OssERGmxdS7UQBvLzx/99 NJOemsJZL9DhPnuhBoPjL3gtrhgDeUBKs4C+nfPb6yjiufPcJAwZ3uKLlDnpErMx+0Rw0c USUqHDsJONc6uRaNRuW6w7HE0XMeKwBKr7rNkZr5mThH3HGN/RUihu9Q+ddtYXgQ0cgDl0 dOuV/SSA9p5P00BZbrnuRIYtahXXyRNFy2ZZRsp/ADHx507tZjG9BpAt3X5S6Q== Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b="atV/j6Um"; dmarc=pass (policy=none) header.from=posteo.net; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -6.81 X-Spam-Score: -6.81 X-Migadu-Queue-Id: 1F1932B867 X-TUID: /1UkJNL+D4MZ --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable eisbaer@tilde.team skribis: > Thanks a lot for your reply. Your example did not work on my machine. I a= djusted my config.scm as you said but the guix systemc reconfigure did not = run through...=20 > > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > error in /var/log/guix/drvs/jr/88fpnzh0kc7w7vwjz78b501sdy2jcg-linux-libr= e-6.1.15.drv.gz > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > [...] > error: in phase 'configure': uncaught exception: > misc-error #f "~A ~S" ("Mismatching configurations in .config and arch/x8= 6/configs/guix_defconfig" (("CONFIG_DEBUG_INFO" (#f "y")))) #f=20 > phase `configure' failed after 14.2 seconds > Backtrace: > 8 (primitive-load "/gnu/store/a2kzfabrb2qrj85xq5z8fnkg9z5=E2= =80=A6") > 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 # =E2=80=A6) > 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=E2= =80=A6") > 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: =2D-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) ...) =2D-8<---------------cut here---------------end--------------->8--- --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCZCwwiQ8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j+vOAD/aIUdyLYQudZF5bQSqAkeua1ZeIcXNbDid+1j xpwP7/sA/jRerFLv3st6d8IH0HPgcRfubV/FF4IBvBXl1H+RTmMr =JZLl -----END PGP SIGNATURE----- --=-=-=--