From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 07:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 29281@debbugs.gnu.org Cc: Mathieu Othacehe X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.151055778023702 (code B ref -1); Mon, 13 Nov 2017 07:23:02 +0000 Received: (at submit) by debbugs.gnu.org; 13 Nov 2017 07:23:00 +0000 Received: from localhost ([127.0.0.1]:37585 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eE959-0006AE-VB for submit@debbugs.gnu.org; Mon, 13 Nov 2017 02:23:00 -0500 Received: from eggs.gnu.org ([208.118.235.92]:49548) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eE958-00069z-AM for submit@debbugs.gnu.org; Mon, 13 Nov 2017 02:22:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eE952-0007Km-G1 for submit@debbugs.gnu.org; Mon, 13 Nov 2017 02:22:53 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49146) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eE952-0007Ke-C2 for submit@debbugs.gnu.org; Mon, 13 Nov 2017 02:22:52 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:40519) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eE951-00061i-C4 for guix-patches@gnu.org; Mon, 13 Nov 2017 02:22:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eE94y-0007Jy-4d for guix-patches@gnu.org; Mon, 13 Nov 2017 02:22:51 -0500 Received: from mail-wm0-x243.google.com ([2a00:1450:400c:c09::243]:54697) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eE94x-0007Jo-Td for guix-patches@gnu.org; Mon, 13 Nov 2017 02:22:48 -0500 Received: by mail-wm0-x243.google.com with SMTP id r68so12993132wmr.3 for ; Sun, 12 Nov 2017 23:22:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id; bh=VQkQqjB8PgYCdhUA6+DiE2xxWAffEuWu+3xs2fkDSog=; b=sfgQ6VricNZFMksp2X5CjE/p9j6nZniIJefwmwxKZLItoB0rcUF7cpQ8p7li9Po+Nc 3L0pycV+L96f7B5xYJ6jNqL1JPOqOYvfuNzmAVedYt56w4kaAwtCsEOvSIEZdIXhPdF4 K6Qi0nlhgDgNSFOLWyWTS73MHVvdJ8E8SyGlyeU2O7LD6NhrwF6vkBT9MEXUcLADqwgT X9GByM9QpMS7zAzpFM4vIw1psE/QGzMCB9AtThqjLPgiFinmI1eVgixXbzSCqyRcFck7 +B9rN9vFCMAbQPQhv1KAlcQeN77n0K44SApnYZAuxyqrRzU0bPFjfK0xKtUCl3QXMQij xMlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id; bh=VQkQqjB8PgYCdhUA6+DiE2xxWAffEuWu+3xs2fkDSog=; b=rajSzOdYTl/SdjLsaJ5FxKTI8b6eZyjM1h9j0UIvnzoH8FJ7iG+RIzpZcuDE+N1wle v+SzFCvOw38+QM9xIRWWOh4XMu4iZNeNClAGJl13C50dsz50T6l3wFdrNlIiu+s8iU3I BcEgCmw1aOqUok7cytJ4qkjbmQe3yiuBRSeHSfpjJW1OJ7mbxLIhUbMG9yaxOb/uoONR Jz31Ga9iwEp0KqsGOkDm1pD3k2IuVrdgWFTWBiiDfFoP/3rcBreqlOYgzFCDhxuoTAOH 6Y/7bvCdC3hX1dXiJEMgpbyNhLWRTQs4V8qG5S39fejjAUI9iVEtcLkh0A52t2VJYGpf o8XQ== X-Gm-Message-State: AJaThX7VXVdz12kAs74DXBHTEc0+5hD8A5RbYv890i6ZYNc1Ex7sTqns dJWQpnw/KVEAWqmyQMqI+orchA== X-Google-Smtp-Source: AGs4zMbsoITh86fL6TB4EftJ3cb8ZnNCVQtFy9rmm9j4fF140sY0Ze3FeTiGRIiryGTtw7CKKh2elg== X-Received: by 10.28.48.143 with SMTP id w137mr5901237wmw.3.1510557765825; Sun, 12 Nov 2017 23:22:45 -0800 (PST) Received: from localhost.localdomain (ABayonne-551-1-26-119.w90-11.abo.wanadoo.fr. [90.11.173.119]) by smtp.gmail.com with ESMTPSA id t6sm14557321wra.28.2017.11.12.23.22.44 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 12 Nov 2017 23:22:45 -0800 (PST) From: Mathieu Othacehe Date: Mon, 13 Nov 2017 08:22:36 +0100 Message-Id: <20171113072236.13270-1-m.othacehe@gmail.com> X-Mailer: git-send-email 2.15.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) * gnu/system/vm.scm (system-disk-image): Use linux-libre instead of user defined kernel that may not be emulable and/or function with base-initrd. --- gnu/system/vm.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index 44246083b..c55df3013 100644 --- a/gnu/system/vm.scm +++ b/gnu/system/vm.scm @@ -422,6 +422,7 @@ to USB sticks meant to be read-only." ;; Since this is meant to be used on real hardware, don't ;; install QEMU networking or anything like that. Assume USB ;; mass storage devices (usb-storage.ko) are available. + (kernel linux-libre) (initrd (lambda (file-systems . rest) (apply base-initrd file-systems #:volatile-root? #t -- 2.15.0 From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 09:39:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Mathieu Othacehe Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.15105658903137 (code B ref 29281); Mon, 13 Nov 2017 09:39:01 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 09:38:10 +0000 Received: from localhost ([127.0.0.1]:37699 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBBx-0000oX-RM for submit@debbugs.gnu.org; Mon, 13 Nov 2017 04:38:09 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:36755) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBBw-0000oQ-R8 for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 04:38:09 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 3DC20E992; Mon, 13 Nov 2017 10:38:10 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id YG2a4F3a_Zff; Mon, 13 Nov 2017 10:38:09 +0100 (CET) Received: from ribbon (unknown [193.50.110.148]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 999D1D66D; Mon, 13 Nov 2017 10:38:09 +0100 (CET) From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20171113072236.13270-1-m.othacehe@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 23 Brumaire an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Nov 2017 10:38:07 +0100 In-Reply-To: <20171113072236.13270-1-m.othacehe@gmail.com> (Mathieu Othacehe's message of "Mon, 13 Nov 2017 08:22:36 +0100") Message-ID: <87o9o6bjsw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Hi, Mathieu Othacehe skribis: > * gnu/system/vm.scm (system-disk-image): Use linux-libre instead of user > defined kernel that may not be emulable and/or function with base-initrd. I would rather not override =E2=80=98linux-libre=E2=80=99. I find it quite= useful to be able to =E2=80=98guix system vm=E2=80=99 with a custom kernel; that=E2=80= =99s one of the things one might want to test in a VM before rebooting. What was the use case and rationale for you? Thanks, Ludo=E2=80=99. From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 09:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151056660011491 (code B ref 29281); Mon, 13 Nov 2017 09:50:01 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 09:50:00 +0000 Received: from localhost ([127.0.0.1]:37718 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBNQ-0002zH-98 for submit@debbugs.gnu.org; Mon, 13 Nov 2017 04:50:00 -0500 Received: from mail-wr0-f180.google.com ([209.85.128.180]:53083) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBNO-0002z5-MC for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 04:49:58 -0500 Received: by mail-wr0-f180.google.com with SMTP id j23so13846319wra.9 for <29281@debbugs.gnu.org>; Mon, 13 Nov 2017 01:49:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=mIb99WjA0zFaEP9bfYBprWketl4igGW/c+ASWUGbyok=; b=IZbbTjZYTesIZYJbVI7Aq2YtXsLLWQk9Ybf13U4a/g31oXhVFcepn6EgP9e3imxvgJ 1NL/8BBdQJhAF3pEEjr6/ddzj8Ms4PmnSRdhzflRh9TLYLbAgPgi/f1n65p5Kp/52+jT /wT3t4E6amYwiQ3atusVok4HQA99sqKENeHE0KAHk5tI7ZVyZplE0XOyt1yl+L0Mfvwd FN3/fBXwuYUO36s5ecSXpbhinODjJwGbWe738bkTGDlcHtdH/RFciQDc/oRtvZgd6Z7m yjPE6pNP0QBUSrH6ZuhE8oSxouDzTFv1ivUENijHfJJEiaRkGZsctbySk9kGanyGDs6T mSfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=mIb99WjA0zFaEP9bfYBprWketl4igGW/c+ASWUGbyok=; b=SN/JbWBjzchzBVNFrkZH5NRq5eFtqmpPLJ5hYJL9J8igs5WJfhOo0n20otXuZh25Ho VlDVOJ43MoXaa4UaRa/J9sQT9I2OfTQZvxuqGYn1nbRR9+DvY5rCCOvii/VLTW8vPA49 M+RUz74N7LZaAe21XNZ+C9hZ/5/wymn6dVxpEtmrce1ew8s+8pwiWLHZRH8mDDqqEyb9 yh5ZDQYA96jY2H4J4tCqNNii/NebHY3Ox//OCk+RqEOC8Q5+KXzQOyml7Q/UD/4chikt Gywnu0OKLOw6OJbXiRQJyfGxnb8L2mqXM9ZK4DsztAneA5dNg+2TySqhNDjiQ7DbzB0C n2Yg== X-Gm-Message-State: AJaThX5h0hOoTwxGBQ80SUsMM4bD6srsEWgyZnF2TnNtV+YeHMYFQUZV sXra7zbLyAYxCfCgOglfj1DprQ== X-Google-Smtp-Source: AGs4zMaujTZMKwMbZx5Le1mLh1eJ1VeMyY9PaXhcRoJUoYeeI64e/EkHegppDr2qSu1fM6HmrcHRig== X-Received: by 10.223.144.76 with SMTP id h70mr7089283wrh.228.1510566592551; Mon, 13 Nov 2017 01:49:52 -0800 (PST) Received: from cervin (ABayonne-551-1-26-119.w90-11.abo.wanadoo.fr. [90.11.173.119]) by smtp.gmail.com with ESMTPSA id 143sm13033216wmj.35.2017.11.13.01.49.49 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 13 Nov 2017 01:49:51 -0800 (PST) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Mathieu Othacehe In-reply-to: <87o9o6bjsw.fsf@gnu.org> Date: Mon, 13 Nov 2017 10:49:45 +0100 Message-ID: <87lgjazex2.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.8 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.8 (--) Hi Ludo, > What was the use case and rationale for you? The problematic use case was to try to produce a GuixSD arm installer for beaglebone black. The kernel linux-libre-arm-omap2plus I'm planning to use can't be used in qemu. Plus, I'd like to use a raw-initrd because linux-libre-arm-omap2plus is quite a light kernel configuration. As system-disk-image asks for base-initrd, the required modules won't be find during image construction with omap kernel. Do you have another idea on how to overcome this issue ? Thanks for the quick review, Mathieu From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 10:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Mathieu Othacehe Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151056863929220 (code B ref 29281); Mon, 13 Nov 2017 10:24:02 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 10:23:59 +0000 Received: from localhost ([127.0.0.1]:37739 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBuJ-0007bE-N2 for submit@debbugs.gnu.org; Mon, 13 Nov 2017 05:23:59 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:36908) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEBuI-0007b7-EY for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 05:23:58 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id C7A00E7AC; Mon, 13 Nov 2017 11:23:59 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id XX0fqCYYi_hp; Mon, 13 Nov 2017 11:23:56 +0100 (CET) Received: from ribbon (unknown [193.50.110.148]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 567D1E793; Mon, 13 Nov 2017 11:23:56 +0100 (CET) From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 23 Brumaire an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Nov 2017 11:23:53 +0100 In-Reply-To: <87lgjazex2.fsf@gmail.com> (Mathieu Othacehe's message of "Mon, 13 Nov 2017 10:49:45 +0100") Message-ID: <87vaiev5mu.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Hello, Mathieu Othacehe skribis: >> What was the use case and rationale for you? > > The problematic use case was to try to produce a GuixSD arm installer > for beaglebone black. The kernel linux-libre-arm-omap2plus I'm planning > to use can't be used in qemu. Oh, why is that? You mean qemu-system-arm running natively on the BBB, right? > Plus, I'd like to use a raw-initrd because linux-libre-arm-omap2plus is > quite a light kernel configuration. As system-disk-image asks for > base-initrd, the required modules won't be find during image > construction with omap kernel. Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use a more = minimalistic initrd since all it needs is those virtio* drivers? Thanks for explaining! Ludo=E2=80=99. From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 10:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151057005031293 (code B ref 29281); Mon, 13 Nov 2017 10:48:02 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 10:47:30 +0000 Received: from localhost ([127.0.0.1]:37747 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eECH2-00088d-Jr for submit@debbugs.gnu.org; Mon, 13 Nov 2017 05:47:30 -0500 Received: from mail-it0-f48.google.com ([209.85.214.48]:55817) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eECGz-00088P-Sp for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 05:47:27 -0500 Received: by mail-it0-f48.google.com with SMTP id l196so8797166itl.4 for <29281@debbugs.gnu.org>; Mon, 13 Nov 2017 02:47:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=UN5DZZ0hWWpgAQub6litxv6yNbtYJkrXQh5tg87grWc=; b=h2/pV1Bu1RHT+KX3a8asSb20kgJbMmpP2uUaw91uMI77rvc7NTP6Zvis111Iz8ZX1p yYQl51lSE2Y/9dnaXP5miZPnlfv75cSoHtgQkiEjeKlxBER5k71e6IwMog0IWCa6TbsA 12iUuL/6stEGQ9LqlVaC2xvkwq8IH1nCbAEWLfG4pCBcPjMbsCtE+dEKgLtLIStedcQr Fsc6JVXvM9AZ342duB673itTuFUZG9VXGYu5hU03lWOHyvmlp4t0zj1A7fmX0xiNemzU ANme11YZbxYGMrl/WnpjNfAiM/x0C02S+aHLDbkdwIDlTuo0kC+qlhHNju+FWJuWx9Uw 4mbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=UN5DZZ0hWWpgAQub6litxv6yNbtYJkrXQh5tg87grWc=; b=qnhGGTrnE1UogtnKM2E/Apxycj3YLp/sladyrz1Dxn5QVUAD3j0BLzSo1x6opPHuWd qsKmqgngHO5LwUNKLmJDAVhP1SrNMyPnYJ0ECbwsQPuCYzS1adJ3sqNUQKFf2up1CI6z vezPWj1vekGaXp6Z8A3zo5QH6xkv4BAltVX9zjKxYqndcD4H8mlCvSp7cjJXXDWtA9+L NvK+Ndw07vxxFA636BBuzGC5iDF19aH3vvYWeWXyX9nxtKS6uQkUxV7hbtQeTG58qUWh nqCrzUu6dWSMY1rfuhTkh5dF1fCzxWtdufKbCqjzdopSZy6ShsNilbXLYCdbIe2894vf sSNQ== X-Gm-Message-State: AJaThX71M0b9iidhep5a+jkK1cmQymeHSMIgblJ4QD9eCL3ysLpl8yUP mZRRYEkS5Xb5C+8BgAhkju7CRecUIsocAvCJXbU= X-Google-Smtp-Source: AGs4zMZ31TM/oO0oKqKiWPM6nEjkf3P8boqPGxeMimbHiJEuPFdqraSnoNI7Ls6ae0o1otMP3TD/OyoZtFmCMYFaWec= X-Received: by 10.36.29.19 with SMTP id 19mr9300071itj.86.1510570040215; Mon, 13 Nov 2017 02:47:20 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.100.4 with HTTP; Mon, 13 Nov 2017 02:47:19 -0800 (PST) In-Reply-To: <87vaiev5mu.fsf@gnu.org> References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> <87vaiev5mu.fsf@gnu.org> From: Mathieu Othacehe Date: Mon, 13 Nov 2017 11:47:19 +0100 Message-ID: Content-Type: multipart/alternative; boundary="001a1143e546a7d037055ddafe3d" X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --001a1143e546a7d037055ddafe3d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > > Oh, why is that? You mean qemu-system-arm running natively on the BBB, > right? > Yes, when running qemu-system-arm you have only a limited set of available machines (qemu-system-arm -M help). BBB isn't one of them, but as there are only about 50 emulable machines, it will be the case for many other boards :( In a future patch, I'll adapt "load-in-linux-vm" to use "-M virt" for qemu-system-arm because contrary to most boards, it works well with linux-libre, allows up to 8 CPU, virtio (see https://wiki.qemu.org/Documentation/Platforms/ARM) ... However, I don't think qemu virt machine will boot with every specific arm kernel a user might end up using on his target. Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use a more = minimalistic > initrd since all it needs is those virtio* drivers? > That would be an option for the initrd, but the kernel problem above remains :) Thanks ! 2017-11-13 11:23 GMT+01:00 Ludovic Court=C3=A8s : > Hello, > > Mathieu Othacehe skribis: > > >> What was the use case and rationale for you? > > > > The problematic use case was to try to produce a GuixSD arm installer > > for beaglebone black. The kernel linux-libre-arm-omap2plus I'm planning > > to use can't be used in qemu. > > Oh, why is that? You mean qemu-system-arm running natively on the BBB, > right? > > > Plus, I'd like to use a raw-initrd because linux-libre-arm-omap2plus is > > quite a light kernel configuration. As system-disk-image asks for > > base-initrd, the required modules won't be find during image > > construction with omap kernel. > > Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use a mor= e minimalistic > initrd since all it needs is those virtio* drivers? > > Thanks for explaining! > > Ludo=E2=80=99. > --001a1143e546a7d037055ddafe3d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Oh, why is that?=C2=A0 You mean qemu-system-arm running na= tively on the BBB,
right?

Yes, when running qemu-system-arm you have= only a limited set of available machines (qemu-system-arm -M help).
BBB isn't one of them, but as there are only about 50 emulable = machines, it will be the case for many other boards :(

In= a future patch, I'll adapt "load-in-linux-vm" to use "-= M virt" for qemu-system-arm because contrary to most boards,
=
it works well with linux-libre, allows up to 8 CPU, virtio (see h= ttps://wiki.qemu.org/Documentation/Platforms/ARM) ...

However, I don't think qemu virt machine will boot with every spe= cific arm kernel a user might end up using
on his target.
=

= Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use = a more minimalistic
initrd since all it needs is those virtio* drivers?
That would be an option for the initrd, but the kernel = problem above remains :)

Thanks !

2017-11-13 11:23 GMT+01:00 = Ludovic Court=C3=A8s <ludo@gnu.org>:
Hello,

Mathieu Othacehe <m.othacehe@gma= il.com> skribis:

>> What was the use case and rationale for you?
>
> The problematic use case was to try to produce a GuixSD arm installer<= br> > for beaglebone black. The kernel linux-libre-arm-omap2plus I'm pla= nning
> to use can't be used in qemu.

Oh, why is that?=C2=A0 You mean qemu-system-arm running natively on = the BBB,
right?

> Plus, I'd like to use a raw-initrd because linux-libre-arm-omap2pl= us is
> quite a light kernel configuration. As system-disk-image asks for
> base-initrd, the required modules won't be find during image
> construction with omap kernel.

Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use = a more minimalistic
initrd since all it needs is those virtio* drivers?

Thanks for explaining!

Ludo=E2=80=99.

--001a1143e546a7d037055ddafe3d-- From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 10:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Mathieu Othacehe Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151057047431877 (code B ref 29281); Mon, 13 Nov 2017 10:55:02 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 10:54:34 +0000 Received: from localhost ([127.0.0.1]:37753 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eECNu-0008I5-Dg for submit@debbugs.gnu.org; Mon, 13 Nov 2017 05:54:34 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:36992) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eECNs-0008Hx-EK for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 05:54:32 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id CBE5CF24D; Mon, 13 Nov 2017 11:54:33 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id EvdCSDeuGC92; Mon, 13 Nov 2017 11:54:33 +0100 (CET) Received: from ribbon (unknown [193.50.110.148]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 0558BE79F; Mon, 13 Nov 2017 11:54:32 +0100 (CET) From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> <87vaiev5mu.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 23 Brumaire an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Nov 2017 11:54:30 +0100 In-Reply-To: (Mathieu Othacehe's message of "Mon, 13 Nov 2017 11:47:19 +0100") Message-ID: <8760aev47t.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Mathieu Othacehe skribis: >> >> Oh, why is that? You mean qemu-system-arm running natively on the BBB, >> right? >> > > Yes, when running qemu-system-arm you have only a limited set of available > machines (qemu-system-arm -M help). > BBB isn't one of them, but as there are only about 50 emulable machines, = it > will be the case for many other boards :( So the kernel you built doesn=E2=80=99t boot at all in =E2=80=9Cqemu-system= -arm -M virt=E2=80=9D? > In a future patch, I'll adapt "load-in-linux-vm" to use "-M virt" for > qemu-system-arm because contrary to most boards, > it works well with linux-libre, allows up to 8 CPU, virtio (see > https://wiki.qemu.org/Documentation/Platforms/ARM) ... OK. > However, I don't think qemu virt machine will boot with every specific arm > kernel a user might end up using > on his target. I see. > Perhaps we should change =E2=80=98system-disk-image=E2=80=99 to use a mor= e minimalistic >> initrd since all it needs is those virtio* drivers? >> > > That would be an option for the initrd, but the kernel problem above > remains :) Right. I can=E2=80=99t think of a good solution right now. Perhaps we could simply hard-code ARM-specific code? (operating-system (inherit os) (kernel (if targeting-arm? linux-libre-arm (operating-system-kernel os))) ;; =E2=80=A6 ) In practice =E2=80=98targeting-arm?=E2=80=99 could be checking (%current-sy= stem) and (%current-target-system), which is not entirely correct but good enough, or, better yet, use that =E2=80=98let-system=E2=80=99 construct I sent you = recently to determine the actual target system. Thoughts? Ludo=E2=80=99. From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 11:55:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.15105740845020 (code B ref 29281); Mon, 13 Nov 2017 11:55:02 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 11:54:44 +0000 Received: from localhost ([127.0.0.1]:37774 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEDK8-0001Iu-3i for submit@debbugs.gnu.org; Mon, 13 Nov 2017 06:54:44 -0500 Received: from mail-wr0-f195.google.com ([209.85.128.195]:56892) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEDK7-0001Ii-9E for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 06:54:43 -0500 Received: by mail-wr0-f195.google.com with SMTP id q66so14157482wrb.13 for <29281@debbugs.gnu.org>; Mon, 13 Nov 2017 03:54:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version:content-transfer-encoding; bh=MfDLFdtzjGYwj0NLqOvexS3godDjJ61NvgVS9Xga1Uw=; b=r5DOMNUdJB4sGP1s/VaaUS5xjyq/HEKn4v3ALCtTaXqSlVX+KmUMoHn0H9lloBoCsR R7tA9jwOb9zZ3Uk7nqtVe/M7uDr9Gl8Pluw9OtS1nfhHciCO1p/B/8aQ/DULXTIe9ahZ K2wuThSZxBYCje7BBwz/b/ZqdjFpTreAtA9dmeD+DJmtGuV8V31hjMYAi0vgUdxDX9g6 IKQWYDiwg1r+RnwbCVDrLdPxtEsoJUCMC3uG5/G01OWLTxAE7WwQD3aYHgF2/NjutbS6 VMEjAe5odX7z8MZRJe+KGZmrSM5B3onwTPidXJpfQ8u3YnlauyrZCi8lRtKNHj/DOxbJ RupA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version:content-transfer-encoding; bh=MfDLFdtzjGYwj0NLqOvexS3godDjJ61NvgVS9Xga1Uw=; b=K5XI9mw3iZAsHeJngMq2CWoQEobmy3Gfbsfm6f39zIYfpcmKgxC/GSjzM8Zsls7NnG +wmkEX66fp2DernO15rdawvpkC8DnSxPCQzQb8w6lk9jYh+uYgK8Vq68LoESkTKNA4H8 FRBoUAn0mc5c+udlfnSF6ssnNcYnzxebOtWJ5ivjxpnfA9ye/Mpt1d5eEMbfl6XsIFby HrQxQHqoIGw6nwKS/wWan0U/fLUnkPhndR9Z2BiS9SX5McxH0PplUtxi0DmBlx5PGs7t un8g6e83F4nXemQ5Tu9cP7grTseYjFnDY3JSEh+Iv7+Y41Ep/qYIGbalO9Gl1AqeYPah Ffng== X-Gm-Message-State: AJaThX5Ymn7pcmTUCuZcecCEKGQK2GTFsbKXd+PbuCQbconiGyJBqJAo JRnq9vHSBfRDeXnBf0s2O7DM7w== X-Google-Smtp-Source: AGs4zMbSz0EprYJsREFlha2upWOJCMdDzRug+UsLTjRuKQYMh8D+4EJx6JidF0ggxcftxdbORpzq1g== X-Received: by 10.223.174.142 with SMTP id y14mr6168919wrc.222.1510574077181; Mon, 13 Nov 2017 03:54:37 -0800 (PST) Received: from cervin (ABayonne-551-1-26-119.w90-11.abo.wanadoo.fr. [90.11.173.119]) by smtp.gmail.com with ESMTPSA id m187sm14911229wmb.17.2017.11.13.03.54.34 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 13 Nov 2017 03:54:36 -0800 (PST) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> <87vaiev5mu.fsf@gnu.org> <8760aev47t.fsf@gnu.org> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Mathieu Othacehe In-reply-to: <8760aev47t.fsf@gnu.org> Date: Mon, 13 Nov 2017 12:54:30 +0100 Message-ID: <87lgja9yx5.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) > So the kernel you built doesn’t boot at all in “qemu-system-arm -M virt”? Nope it does not with this command : --8<---------------cut here---------------start------------->8--- qemu-system-arm -M virt -kernel /gnu/store/13jqdcykaarbxzwxnryqinljcjh3k75g-linux-libre-arm-omap2plus-4.13.4/zImage -nographic --8<---------------cut here---------------end--------------->8--- > In practice ‘targeting-arm?’ could be checking (%current-system) and > (%current-target-system), which is not entirely correct but good enough, > or, better yet, use that ‘let-system’ construct I sent you recently to > determine the actual target system. > > Thoughts? Sure it seems like a good idea, until we find better ! I'll try to setup let-system and propose an updated patch. Thanks for your help :) Mathieu From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 13:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Mathieu Othacehe Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151058085022492 (code B ref 29281); Mon, 13 Nov 2017 13:48:02 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 13:47:30 +0000 Received: from localhost ([127.0.0.1]:37862 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEF5G-0005qh-4k for submit@debbugs.gnu.org; Mon, 13 Nov 2017 08:47:30 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:37497) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEF5D-0005qY-75 for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 08:47:28 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 0C608E7AB; Mon, 13 Nov 2017 14:47:28 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nSIJ1-NL6mc7; Mon, 13 Nov 2017 14:47:27 +0100 (CET) Received: from ribbon (unknown [193.50.110.148]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 544C5E79C; Mon, 13 Nov 2017 14:47:27 +0100 (CET) From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> <87vaiev5mu.fsf@gnu.org> <8760aev47t.fsf@gnu.org> <87lgja9yx5.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 23 Brumaire an 226 de la =?UTF-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 13 Nov 2017 14:47:24 +0100 In-Reply-To: <87lgja9yx5.fsf@gmail.com> (Mathieu Othacehe's message of "Mon, 13 Nov 2017 12:54:30 +0100") Message-ID: <87wp2uthn7.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Mathieu Othacehe skribis: >> So the kernel you built doesn=E2=80=99t boot at all in =E2=80=9Cqemu-sys= tem-arm -M virt=E2=80=9D? > > Nope it does not with this command : > > qemu-system-arm -M virt -kernel > /gnu/store/13jqdcykaarbxzwxnryqinljcjh3k75g-linux-libre-arm-omap2plus-4.1= 3.4/zImage > -nographic=20 Oh, ARM is weird. :-) >> In practice =E2=80=98targeting-arm?=E2=80=99 could be checking (%current= -system) and >> (%current-target-system), which is not entirely correct but good enough, >> or, better yet, use that =E2=80=98let-system=E2=80=99 construct I sent y= ou recently to >> determine the actual target system. >> >> Thoughts? > > Sure it seems like a good idea, until we find better ! I'll try to setup > let-system and propose an updated patch. I can polish the =E2=80=98let-system=E2=80=99 bits, because maybe that wasn= =E2=80=99t fully baked. I=E2=80=99ll send it to guix-patches ASAP so you can review. Sounds good? Thanks, Ludo=E2=80=99. From unknown Mon Aug 18 11:21:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#29281] [PATCH] system: vm: Use linux-libre for system-disk-image. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 Nov 2017 14:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 29281 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 29281@debbugs.gnu.org Received: via spool by 29281-submit@debbugs.gnu.org id=B29281.151058292325635 (code B ref 29281); Mon, 13 Nov 2017 14:23:01 +0000 Received: (at 29281) by debbugs.gnu.org; 13 Nov 2017 14:22:03 +0000 Received: from localhost ([127.0.0.1]:37885 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEFch-0006fP-F2 for submit@debbugs.gnu.org; Mon, 13 Nov 2017 09:22:03 -0500 Received: from mail-wr0-f178.google.com ([209.85.128.178]:44663) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEFcg-0006eu-1o for 29281@debbugs.gnu.org; Mon, 13 Nov 2017 09:22:02 -0500 Received: by mail-wr0-f178.google.com with SMTP id u97so14600539wrc.1 for <29281@debbugs.gnu.org>; Mon, 13 Nov 2017 06:22:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version:content-transfer-encoding; bh=JvEUil4ISrd7odgwTXPqDILNZJ0IPTnXkkEL17MTtiY=; b=qF7sUuP/qWjWSTy6jCwBgCeVnqTwenQLL99DX2Av/+vnd/7m3m/IkHD+TDzQe+CsLC yc2dRrI64SAClDKyXjqPjgZnGnt2MyKXJQPWaA21AEuNyGUT4qLeEACfvPctZ5zPDoXm PNe4+nTqmE91iOc0mr3RGltXk41DtBLQQjgfv4PQFnJER6McdYYGNljaF0L43r1hw5HF Z8bCao9MU+IAg+iep7LrQOxyBwSN39N4637GrWwtrDFx+5P48Xwfx7ubN7+5OgwAMI+x M2vJGFmPhU35O/hgraTMiF1uzDvrRViqO0/Lc7DMYDD9P9h4Y8O7ZVrcbxM3FymR9Cdp eJ1Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version:content-transfer-encoding; bh=JvEUil4ISrd7odgwTXPqDILNZJ0IPTnXkkEL17MTtiY=; b=ntzGf97ARggryIVkAGYNRSenH2mM1W29eN485S4mjbYmaSq7T0oj/CsiQ+LjQRmMUg K8bjzxdz+bHw6SoYW4BrXfMk7T83LSMRglEO/KW/gOjcxa+iZ5KpraX7nlxA/7Ns1nhp 2CzJkhe0Ay3ww+oRx2CFbdBZscN6lOcO6J+jNHJHY/04I4ToqBWeIU/lNTqtFkpZk8GY L0on+nQtnmGmAKMPzf3KgLyH2/spnUJoYBaQ/i+ewzU6TYq6qLtJKtnXkL6YcXCqauHg vk/XZSRR/3Hvg9fg7aYlyERWSRqWa2jKZR6pR5UoqTQMKQuC3wZqJuvWmlBb70Lp4Rq/ o12A== X-Gm-Message-State: AJaThX4xCrdPaPb2EMomk8H/Bil5HJRXySUHwvCy9URTwNGmBUk3M6qD rE2XiutziEYpNqkUEtqvhb3v8Q== X-Google-Smtp-Source: AGs4zMaORqwPDTev+uDzfYFgYlUCF0i4tBZ0HgkZdHQiL9BplhifKjs8SKa7FXbQ+ZyRLMAld/MrDg== X-Received: by 10.223.164.66 with SMTP id e2mr7845725wra.14.1510582915968; Mon, 13 Nov 2017 06:21:55 -0800 (PST) Received: from cervin (ABayonne-551-1-26-119.w90-11.abo.wanadoo.fr. [90.11.173.119]) by smtp.gmail.com with ESMTPSA id m68sm3079255wma.0.2017.11.13.06.21.54 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 13 Nov 2017 06:21:55 -0800 (PST) References: <20171113072236.13270-1-m.othacehe@gmail.com> <87o9o6bjsw.fsf@gnu.org> <87lgjazex2.fsf@gmail.com> <87vaiev5mu.fsf@gnu.org> <8760aev47t.fsf@gnu.org> <87lgja9yx5.fsf@gmail.com> <87wp2uthn7.fsf@gnu.org> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Mathieu Othacehe In-reply-to: <87wp2uthn7.fsf@gnu.org> Date: Mon, 13 Nov 2017 15:21:53 +0100 Message-ID: <87fu9i9s3i.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.8 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.8 (--) > I can polish the ‘let-system’ bits, because maybe that wasn’t fully > baked. I’ll send it to guix-patches ASAP so you can review. Sounds > good? Sounds perfect ! Mathieu From debbugs-submit-bounces@debbugs.gnu.org Wed Nov 29 10:32:39 2017 Received: (at control) by debbugs.gnu.org; 29 Nov 2017 15:32:39 +0000 Received: from localhost ([127.0.0.1]:37178 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eK4Ln-0003DB-1u for submit@debbugs.gnu.org; Wed, 29 Nov 2017 10:32:39 -0500 Received: from mail-wm0-f41.google.com ([74.125.82.41]:47082) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eK4Ll-0003Cu-7Y for control@debbugs.gnu.org; Wed, 29 Nov 2017 10:32:37 -0500 Received: by mail-wm0-f41.google.com with SMTP id r78so7119924wme.5 for ; Wed, 29 Nov 2017 07:32:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:to:from:subject; bh=D9OHla0p0a1QDPFbOkWTnEbQNQcz24DeglEaS59w5HE=; b=X172N08bFN1IHSItnByZQ5ZSGu4wyYHLyXGEOVDAnxBCOWu9Aq1TZE6XBF7O/JlWXu Uug4zSYIspJipNbWCa26oZtxkg5O6t3bmGlA5slzAhK/rArmeAaNB0oA1glK1ydJlO4K ltohp6/2gDiNAk2xxdASqe2idhT6AmQjgxrRaKZwBjC8vlyJ+1v9sbfpHbor31/dKkqR aY76zCPhvSw9275EM/WF/5EixC2EePtAdiLLsIsBFdwTKNOSYrkiVI40Dxk9HMQXYDoA NQpSGdMIbzvI19Aq2ypw20P7pmpzSEwq3mZpBEibUUwRXCPssUwPhocuF9opd4TIqmea /3Lw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:to:from:subject; bh=D9OHla0p0a1QDPFbOkWTnEbQNQcz24DeglEaS59w5HE=; b=uMRsyhEEd9vMtof/ceBAWoeS9WWKxsiFZVU6aZsAXk07bIsH1jrjQLKmHKPTlutemG apg5rMI0t0jPfNiqbYDXHap7moKsb93JBcGa4ed2oqdez5WF+tq0kD/UdJhkMf9I09Gq fZ9ww6l9X2UHI1RPcjAEJeurEwpurU8kJGyfEkluoCiUIJB0YBVUmZYkHKP3kd4MngLl sdr2PlisI45kliBjK1AI3EU3M3J74bNcOvmgQvSpy1habF+Ka7syfW3HIH5CyKA5IeB+ 2lmJvMBcL/72RWYNeH7+MrE/xZnVlvCASU0kkJvIIafyEGIS2BVylVMA8kEAo6sFCx8Z ksMA== X-Gm-Message-State: AJaThX6Q++rpXyNaSFamZ+w/m2BKHeQhqBKO11Wur/8yGG901iKZN9gN IpsLSZJEc3WNuQfv7IuDXVtAdQ== X-Google-Smtp-Source: AGs4zMbufY7CXuPdcD8XCVvgwGC5M0r5ZQR4HurOVDBAfS7z9jvhqsbE2/6SQSYb4iwBlq9XRqMpnQ== X-Received: by 10.28.71.136 with SMTP id m8mr2865949wmi.89.1511969551206; Wed, 29 Nov 2017 07:32:31 -0800 (PST) Received: from denali ([46.218.109.88]) by smtp.gmail.com with ESMTPSA id o22sm3278558wrb.40.2017.11.29.07.32.30 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 29 Nov 2017 07:32:30 -0800 (PST) Date: Wed, 29 Nov 2017 16:32:30 +0100 Message-Id: <87d141t81d.fsf@gmail.com> To: control@debbugs.gnu.org From: Mathieu Othacehe Subject: control message for bug #29281 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) close 29281