From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id mFRDAnKeyGOoPgAAbAwnHQ (envelope-from ) for ; Thu, 19 Jan 2023 02:35:46 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id is8fAnKeyGNfmAAAauVa8A (envelope-from ) for ; Thu, 19 Jan 2023 02:35:46 +0100 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 BBB3E1F1EC for ; Thu, 19 Jan 2023 02:35:45 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pIJpo-0006Wg-2d; Wed, 18 Jan 2023 20:35:20 -0500 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 1pIJpg-0006WF-E8 for help-guix@gnu.org; Wed, 18 Jan 2023 20:35:13 -0500 Received: from mail-qt1-x835.google.com ([2607:f8b0:4864:20::835]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pIJpc-00030d-Mv for help-guix@gnu.org; Wed, 18 Jan 2023 20:35:10 -0500 Received: by mail-qt1-x835.google.com with SMTP id h21so447316qta.12 for ; Wed, 18 Jan 2023 17:35:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=Iy8ntzM1TLLf8BhM3/sDqpmKhQJXVcUbQd+9sTUOGb0=; b=nQ/S45d3HK/yQfUwYZBev+n7Gls0oasWJoqVmZomWJ7A2XIMRs8YDBbQ3k+UECvNCN vT3ptqf3DS8A1DF1yvNC2zV5cFuZot0r2qnI8SFPwm9XGemz8al5VF3+QnEutRp/yxx+ 9SfNmO79K24am5WJaexm9gdasBzQViwDA/uRfDhB2c23Cs7yu5J+KPnyoyYCujcEMgDb Xiqe22jyS02ARV3ihwdRYmbYMkWvrHbA57hHQze04qhScu49/G/TTImwuBhJQD+u+vVG ZpureyfPRV+FLhvCNmBE7eGgd8JOPQ0eoiicZc4Ry8aMBcYWMRdTKtMZClsailGQcqSV 6DuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=Iy8ntzM1TLLf8BhM3/sDqpmKhQJXVcUbQd+9sTUOGb0=; b=IEjXOpufMy83sDI3Igvincz8ciR4wrInIbFy0QmlEV8RLMmQU/eLAKqi892OE0KJB/ N7pQTKGcA2TMb7tvFZsmXfe2NfLuW1Tf2oFegPFzhgz5VbHH1SqgNMOqUElvI21opS42 GxSVzohD6m8lPesttuM23LcLbFZ+UcSPXvLrhOrezjA5kF76RXTLtRozNax5fgT2A1PK O2Kvb+SCTojk92qYVQNG3EUUaFKIvJtIU0r2Tqy7cw24Spont9e7lCUziUz+31staYU8 Te5cRiygWGg3rPHh9xR3vWHC/lhYdzLws947c0jBDlYFS1pbYrpelJZP892fohNrEP/S RdaA== X-Gm-Message-State: AFqh2krGHPWFxWJexIUzx9hpS28LOzTr4h9+KoWcTSIA4mLgidOxuL90 NJehxPeDf/9rXPjOphALC/aCJ9nwKwjobg== X-Google-Smtp-Source: AMrXdXvyCU0nS0WIxtnp9uOPeWO4fRr7GEgvwWLaKQHyhPZh9lSnWGnV2ms4E6YzRN0Jb0tS2Y+5zg== X-Received: by 2002:a05:622a:2308:b0:3b6:3466:eee9 with SMTP id ck8-20020a05622a230800b003b63466eee9mr14292801qtb.25.1674092107148; Wed, 18 Jan 2023 17:35:07 -0800 (PST) Received: from hurd ([2607:fad8:4:3::1001]) by smtp.gmail.com with ESMTPSA id j25-20020ac874d9000000b003b0b903720esm11249644qtr.13.2023.01.18.17.35.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 18 Jan 2023 17:35:06 -0800 (PST) From: Maxim Cournoyer To: dabbede@gmail.com Cc: help-guix@gnu.org Subject: Re: customize-linux not working as expected References: Date: Wed, 18 Jan 2023 20:35:05 -0500 In-Reply-To: (dabbede@gmail.com's message of "Tue, 17 Jan 2023 13:00:07 +0100") Message-ID: <87y1pze27q.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2607:f8b0:4864:20::835; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qt1-x835.google.com X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 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, FREEMAIL_FROM=0.001, FREEMAIL_REPLY=1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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=1674092145; a=rsa-sha256; cv=none; b=JGxYE1vUyk+/WquGEgNR57/Wm4pD73CrLU5UNa/fvOSXUkY+L/t9JVx71n+KkKlsZlr/nz cTdSWMih+SPhJtFo+qLd2s6iX671fPQe2y6UFOg4rN5U5fdA2FggCzop9TubA7Ka5wzqcs M7JvGoB44EBRlrtMe66YttjXSsU/doCPP/WshnmTY/nzahWYujGVwoB4Bb49bjqFiEVOi9 GpkAdh+mtFj+yVdyW6D4+uS+sy5wl2kvgB5YsuIC2B/WR6nojtgoZfz0zBfvEsAIy0cZJE k+QrOQ9jTOhrrjBn34c9yUd11EHOT6vVLIs2mIc14PuUDDStM4/fdNZ7Ftz0ow== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="nQ/S45d3"; dmarc=pass (policy=none) header.from=gmail.com; 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=1674092145; 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=Iy8ntzM1TLLf8BhM3/sDqpmKhQJXVcUbQd+9sTUOGb0=; b=leKnIUTOIrkl4aY0Q1gjD2n58KN8gZxo18BTc6pOhZuiaVc88jTOTCsF/zk4z88nhlf122 dHqoHDhCzcUf3nZJ0NfIkTR2oBAza814zva6SYud6WJKMptVzTCzOJCqtcCA6RcjNmQEqE 6uPbr+uqCM0Jy6M/iXNl/A9eL8exIm6eqIiJWxkSDFNnoaFQgKM1OV+kxGbBoS0NV2765Q BLx1+fZnG5Frk1rTlZtrjKsP8u0HyUGw6jUsmUVhko2uR0vpn2PkJj6HU4He3HxcoHfqM8 aR3fPjbor6Z4Pe9HnxpDL0xEnmGbOlNQBhMKqNTQ4+LHFryt2qC8AaFcmNJoQA== X-Spam-Score: -11.28 X-Migadu-Queue-Id: BBB3E1F1EC Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="nQ/S45d3"; dmarc=pass (policy=none) header.from=gmail.com; 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: -11.28 X-TUID: 6ulIPnQQRUI3 Hi, "dabbede@gmail.com" writes: > Dear community, > > I would like to customize the configuration of my linux kernel, in > particular of a xenomai-patched one. > In the past days I've followed the route of using the procedure > make-linux-libre*, in particular using the > key #:extra-options to append my customizations to > %default-extra-linux-options. In that case I did > not encounter any suspect behavior (except for the fact that > %default-extra-linux-options must be > appended after my list, and not the opposite, in order to have my > settings in place). > > Today I've decided to give a try to the new procedure > "customize-linux". Here is the snippet: > ---------------------------------------------------------------------------------------------------- > define-public linux-xenomai > (let ((father ((@@ (gnu packages linux) customize-linux) > #:name "linux-xenomai" > #:linux linux-libre-5.4 > #:defconfig "x86_64_defconfig" > #:configs > '("CONFIG_LOCALVERSION=\"-xenomai3.2.2\"" > ;; Xenomai specific tweaks > "# CONFIG_SCHED_MC_PRIO is not set" > "# CONFIG_CPU_FREQ is not set" > "# CONFIG_ACPI_PROCESSOR is not set" > "# CONFIG_CPU_IDLE is not set" > "# CONFIG_APM is not set" > "# CONFIG_INTEL_IDLE is not set" > "# CONFIG_INPUT_PCSPKR is not set" > "# CONFIG_COMPACTION is not set" > "# CONFIG_MIGRATION is not set" > ;; PCP customization > "CONFIG_XENO_DRIVERS_NET=y" > "CONFIG_XENO_DRIVERS_NET_DRV_E1000=m" > "CONFIG_XENO_DRIVERS_NET_DRV_E1000E=m" > "CONFIG_XENO_DRIVERS_NET_DRV_IGB=m" > "CONFIG_NTFS_FS=m" > "CONFIG_NTFS_RW=y" > "CONFIG_CIFS=m" > "CONFIG_CIFS_XATTR=y" > "CONFIG_CONSOLE_LOGLEVEL_DEFAULT=4"))) > (ipipepatch (ipipe-x86-patch "5.4.228-x86-12" > "05l092vfswqlwyis0m6x5wa5hxwlmv7jwjpnjrbjav0b5ibv0xnr"))) > (package > (inherit father) > (name "linux-xenomai") > (version "5.4.228") > (arguments > (substitute-keyword-arguments (package-arguments father) > ((#:phases phases) > #~(modify-phases #$phases > (add-after 'unpack 'unpack-extra-sources > (lambda _ > (begin > (copy-recursively #+ipipepatch "ipipe.patch") > (copy-recursively #+xenomai-origin "xeno-source.tar.bz2") > (invoke "tar" "-xjf" "xeno-source.tar.bz2") > (invoke "bash" (string-append "xenomai-v" > #$xenomai-version "/scripts/prepare-kernel.sh") "--ipipe=ipipe.patch" > "--arch=x86_64")))))))) > (synopsis "Linux kernel with Xenomai Cobalt co-kernel") > (description > "Xenomai is a Free Software project in which engineers from a wide > background collaborate to build a robust and resource-efficient > real-time core for Linux following the dual kernel approach, for > applications with stringent latency requirements.") > (home-page "http://xenomai.org/")))) > ---------------------------------------------------------------------------------------------------- > > Unfortunately, some of my custom configs are in contrast to the > default one (and they have to be that > way for xenomai to work), and this leads the build process to stop at > "verify-config". > Here is the output to the terminal: > ---------------------------------------------------------------------------------------------------- > error: in phase 'configure': uncaught exception: > misc-error #f "~A ~S" ("Mismatching configurations in .config and > arch/x86/configs/guix_defconfig" (("CONFIG_JUMP_LABEL" (#f "y")) > ("CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE" (#f "y")) > ("CONFIG_CPU_FREQ_GOV_PERFORMANCE" (#f "y")) > ("CONFIG_CPU_FREQ_GOV_ONDEMAND" (#f "y")) ("CONFIG_X86_ACPI_CPUFREQ" > (#f "y")) ("CONFIG_NF_CONNTRACK_IPV4" (#f "y")) > ("CONFIG_IP_NF_TARGET_MASQUERADE" ("m" "y")) > ("CONFIG_NF_CONNTRACK_IPV6" (#f "y")) ("CONFIG_SND_MIXER_OSS" (#f > "y")) ("CONFIG_SND_PCM_OSS" (#f "y")) ("CONFIG_SND_SEQUENCER_OSS" (#f > "y")) ("CONFIG_TIMER_STATS" (#f "y")) ("CONFIG_DEBUG_STACKOVERFLOW" > (#f "y")) ("CONFIG_XENO_DRIVERS_NET" ("m" "y")))) #f > phase `configure' failed after 111.5 seconds [...] > ---------------------------------------------------------------------------------------------------- > > This behaviour is strange to me, as I was expecting my #:configs to > take priority over default ones. > > Am I missing something?! > Thank you for your support! The new customize-linux procedure ensures that the provided #:defconfig (or default defconfig if not specified), modified by #:configs, let's name that "guix_defconfig" generates a .config file that can be saved back exactly into exactly the same "guix_defconfig" when calling "make savedefconfig". This is very strict indeed, and unless you produced the defconfig from 'make menuconfig', you'll need to pay attention to each kconfig dependency effect. The upside is that the defconfig you version or the set of options you pass is fully specified. If another option got implicitly turned on or disabled by the one you've added in #:configs, you'll need to add theses too to #:configs, if you want to use that field. Seen from that angle, #:configs appears to be best suited for options that do not have complex kconfig dependencies; else it's best to version your defconfig and manipulate it through 'make menuconfig' and 'make savedefconfig'. Hopefully that's helpful, -- Thanks, Maxim