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 CJkNKQqOxmPJWwEAbAwnHQ (envelope-from ) for ; Tue, 17 Jan 2023 13:01:14 +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 0CzpKAqOxmPm7gAAauVa8A (envelope-from ) for ; Tue, 17 Jan 2023 13:01:14 +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 12DFA26E93 for ; Tue, 17 Jan 2023 13:01:13 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHkdp-0003b6-7d; Tue, 17 Jan 2023 07:00:37 -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 1pHkdb-0003Uq-W0 for help-guix@gnu.org; Tue, 17 Jan 2023 07:00:26 -0500 Received: from mail-ej1-x62a.google.com ([2a00:1450:4864:20::62a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pHkdZ-000127-PD for help-guix@gnu.org; Tue, 17 Jan 2023 07:00:23 -0500 Received: by mail-ej1-x62a.google.com with SMTP id vm8so74765094ejc.2 for ; Tue, 17 Jan 2023 04:00:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=fnsRcWhdrlAxfIWHLCKvJPGStJYLcMyWzKHPaHrUPuM=; b=NwdGgsxRw5mtn1ToaOk2fwoW2Wfg43i87FHZ7uumndWJ2dPd76T1tKQXsaI1jx+b0K EmuB5U+ZLZ8nio9my7mflVovJ8zlDakJOkAy4jPZP7k56RVzZLGXLoHjnR2p700gKFg+ BO5bIGcv2LZxqesZVjLYtaNF8dw+GUPLcPIC/xaH74WpkY8An1tAOh1JUK8Cc1TIn6Aj z8g+uMgzkFsw6awN31OOw8/RlFTPxw9EgsoWs+pfBR/ojgTe727rX5sV4c76JWWWIROd pbT8yN5PTdFJL29EHdPGGo5zoSMnWZuJABP2wdUFS/SIPc3nVdURq33FYUMcSWzTltj1 6nsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=fnsRcWhdrlAxfIWHLCKvJPGStJYLcMyWzKHPaHrUPuM=; b=nWVsL3SHUqKxjPLH9dgYjPlnn/WIySPQCGLHLZley2BfC7sZn+eKMiUe25cdK7IvsA Vaer0tPgj6RPD9kwQ7rCHupCnGYk+yGYxp0/+8/V5VwhqhbJwQvouP/IjUS9S2KYxjjK 1lI+h1HAiweLKEFo+P84kn7ZoHj4te+ErTOHPxiGfXS8lGsbIz9rQCp+3omuF9GXsktz qfXqUGp2QAsi0OSSooueTu16axy8hYSVLxdMnGeLv5u/QL3jXpOiEBtBY1IX0NVBul2+ 8VJIvSckYDQAsDUlSCU+OHqw4w0dcZwSw4UxiG64dTuQ3IvkKMw0Uw1Fr/pYaMkUROqF qBkg== X-Gm-Message-State: AFqh2krMOITLOM/WfpWxcUvDy4FlyPNmjSZT+H+aJn6PKYAg1isS/ifE gW0Cc0Oc67CBTvanwEaioiMU4L/bRJIsN+1u+tul4VbC5sjdGQ== X-Google-Smtp-Source: AMrXdXsvIa95YYZjRAVrsOwekw0UB4F+rz3difaQxb5NkAVV/jXyrCAlxe78NNkwEA5r23OTrHHGnQQgEW9Mr7uj49I= X-Received: by 2002:a17:906:9456:b0:86d:ec8c:5b3f with SMTP id z22-20020a170906945600b0086dec8c5b3fmr158778ejx.50.1673956819152; Tue, 17 Jan 2023 04:00:19 -0800 (PST) MIME-Version: 1.0 From: "dabbede@gmail.com" Date: Tue, 17 Jan 2023 13:00:07 +0100 Message-ID: Subject: customize-linux not working as expected To: help-guix@gnu.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::62a; envelope-from=dabbede@gmail.com; helo=mail-ej1-x62a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.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, RCVD_IN_DNSWL_NONE=-0.0001, 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=1673956874; a=rsa-sha256; cv=none; b=RwZALzlYnEYPYjb9IUmYZ25NEmkoZoZVSuhfRDNf8pkQZ5jbjDmYHRH1MiDuyBiBqoKEnh KfBuVAe8RL9S6tk+jWccb4R9epYfZSZZGTwINgluMaympFneyOrmS12SUw6xBNaTAc+QDF AImWNkC+6S0emCogI1/aKykECdFUFxwRgyGasTsfEQhc6hPFsgcWNIQaNfnR/sjHrDSha0 mdfpMBn+dBQv/8kJNQ0/AnQP9ZSQGXqgf47vKB1fZGkmkQOs7vb/gF2iT9T5Nxk+5mS0rh 3zLB9m9vJG8CmO7uNu9lytYK5FYNjfzWbsIeH2xCSaTy3KuxFv/cunLfRo7NmQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=NwdGgsxR; 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=1673956874; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=fnsRcWhdrlAxfIWHLCKvJPGStJYLcMyWzKHPaHrUPuM=; b=l6TFV4Ect28/VVu7O8xwnqEJJgHo/c3i2LuZnaxnIT5XLTrUvZC0TXVNWQ/SELbQfXxUw3 j5L7jsOucINP+yWgqm4tFnoJXqyqDj1Eyvem8x3HIiq7qrLfyBksZefIcFUWXxK8ikdTGY 3tqxZkmOrKy0v1+t6AUUDGgBoxqfpcLLB4vuOiEY8J450wptPLzaTN8E127BUAL0Pip9pv CVA2v1CrJXk+c8XiDdU+acbuwX8clzhpaezjo4F2dqJlQRdZ5HY2jqq+gDKGVKdRzbe2uO VLflkglHDNbjR93ckY8t/JlSLWKXdfPgsQI2JNkBcWEO5PbFkXV73pNxkNBltA== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -5.29 X-Spam-Score: -5.29 X-Migadu-Queue-Id: 12DFA26E93 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=NwdGgsxR; 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-TUID: 0uq/xTd9sAdE 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=3D\"-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=3Dy" "CONFIG_XENO_DRIVERS_NET_DRV_E1000=3Dm" "CONFIG_XENO_DRIVERS_NET_DRV_E1000E=3Dm" "CONFIG_XENO_DRIVERS_NET_DRV_IGB=3Dm" "CONFIG_NTFS_FS=3Dm" "CONFIG_NTFS_RW=3Dy" "CONFIG_CIFS=3Dm" "CONFIG_CIFS_XATTR=3Dy" "CONFIG_CONSOLE_LOGLEVEL_DEFAULT=3D4"))) (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=3Dipipe.patch" "--arch=3Dx86_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 Backtrace: 8 (primitive-load "/gnu/store/9xgv231lklbbgfzxg3x002cgi42=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_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"))) note: keeping build directory `/tmp/guix-build-linux-xenomai-5.4.228.drv-2' builder for `/gnu/store/rdjhzffv8gdjrwm8y4kvqg8khzmc8qcz-linux-xenomai-5.4.= 228.drv' failed with exit code 1 build of /gnu/store/rdjhzffv8gdjrwm8y4kvqg8khzmc8qcz-linux-xenomai-5.4.228.= drv failed View build log at '/var/log/guix/drvs/rd/jhzffv8gdjrwm8y4kvqg8khzmc8qcz-linux-xenomai-5.4.228= .drv.gz'. guix build: error: build of `/gnu/store/rdjhzffv8gdjrwm8y4kvqg8khzmc8qcz-linux-xenomai-5.4.228.drv' failed ---------------------------------------------------------------------------= ------------------------- 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!