From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id aAviCcOhVF/KWgAA0tVLHw (envelope-from ) for ; Sun, 06 Sep 2020 08:45:55 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id yA7iBcOhVF9OSQAA1q6Kng (envelope-from ) for ; Sun, 06 Sep 2020 08:45:55 +0000 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 8835394036A for ; Sun, 6 Sep 2020 08:45:54 +0000 (UTC) Received: from localhost ([::1]:35774 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEqJ7-0002R6-6y for larch@yhetil.org; Sun, 06 Sep 2020 04:45:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54546) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEqJ0-0002Ql-31 for help-guix@gnu.org; Sun, 06 Sep 2020 04:45:46 -0400 Received: from hera.aquilenet.fr ([2a0c:e300::1]:47582) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEqIx-0008Sw-Nt for help-guix@gnu.org; Sun, 06 Sep 2020 04:45:45 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 347F71D1B; Sun, 6 Sep 2020 10:45:39 +0200 (CEST) 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 ikr2zY9nTnjp; Sun, 6 Sep 2020 10:45:38 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:910:103f::bf5]) by hera.aquilenet.fr (Postfix) with ESMTPSA id C50DF1CC0; Sun, 6 Sep 2020 10:45:37 +0200 (CEST) Date: Sun, 6 Sep 2020 10:45:22 +0200 From: Andreas Enge To: Vagrant Cascadian Subject: Re: Guix on Novena Message-ID: <20200906084522.GA1900@jurong> References: <20200901093841.GA4371@jurong> <87eenlo3fj.fsf@ponder> <20200901180653.GA2323@jurong> <87zh6813yp.fsf@ponder> <20200902180548.GA15217@jurong> <87wo1c111p.fsf@ponder> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="gBBFr7Ir9EOA20Yy" Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87wo1c111p.fsf@ponder> Received-SPF: neutral client-ip=2a0c:e300::1; envelope-from=andreas@enge.fr; helo=hera.aquilenet.fr X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. 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, SPF_HELO_PASS=-0.001, SPF_NEUTRAL=0.779 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: 0.49 X-TUID: HJa+Dl79kA2k --gBBFr7Ir9EOA20Yy Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hello, sorry for what are probably silly questions, I have difficulties wrapping my head around how installation works. I am attaching my current configuration, copy-pasted from our Overdrive machines and augmented by snippets from yours, Vagrant. Right now I am on Debian with Guix as package manager, running from the SD card. After reading up through the last half year of guix-devel and help-guix, I realise that I could have followed https://lists.gnu.org/archive/html/help-guix/2020-04/msg00051.html ; apparently guix system disk-image -e "(@ (gnu system install) novena-installation-os)" executed on an aarch64 machine should have created a bootable SD card image with only Guix. Something to try next time! (By the way, swapping the micro-SD card is rather finicky on this board, and I try to avoid it). On Wed, Sep 02, 2020 at 11:33:22AM -0700, Vagrant Cascadian wrote: > Yes, I would recommend installing Guix System directly to SATA, since > u-boot can boot from SATA partitions marked bootable (either MBR or GPT > though what GPT calls it I forget), and SATA will perform better, of > course. So far, I am using an external USB disk, which probably is not in the boot sequence. This is why the configuration has this: (bootloader (bootloader-configuration (bootloader u-boot-novena-bootloader) (target "/dev/mmcblk1"))) to boot from the SD card. By the way, why /dev/mmcblk1, which also appears in the installation-os? Is this valid when an additional SATA disk is plugged in? My SD card is called /dev/mmcblk0, and there are several partitions; do I give /dev/mmcblk0 or /dev/mmcblk0p1 as the argument? Then later I have: (file-systems (cons* (file-system (device (uuid "f1062993-3776-47d2-8900-9e4f1d9fc8aa")) ; /dev/sda1 (mount-point "/") (type "ext4")) %base-file-systems)) so that the store and everything else should be on the disk. Will this separation work? Will mounting /dev/sda1 to /mnt and issuing "guix system init config.scm /mnt" work? (The handbook suggests to do "herd start cow-store /mnt", but I forgot what this is needed for.) Will it populate only /mnt/gnu/store, or also /gnu/store from the place where I call "guix system init"? Since the latter is almost full. Thanks for your enlightenment, Andreas --gBBFr7Ir9EOA20Yy Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: attachment; filename="redhill.scm" Content-Transfer-Encoding: 8bit ;; GuixSD configuration file for the Novena build machines. ;; Copyright © 2016, 2017, 2018 Ludovic Courtès ;; Copyright © 2019, 2020 Andreas Enge (guix-configuration (inherit config) (use-substitutes? #f) (max-silent-time 7200) (authorized-keys %authorized-guix-keys)))))) (packages (cons* screen openssh u-boot-novena vim %base-packages))) --gBBFr7Ir9EOA20Yy--