From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id WDyLHB7xVF9GdwAA0tVLHw (envelope-from ) for ; Sun, 06 Sep 2020 14:24:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id oGhwGB7xVF+lPAAAbx9fmQ (envelope-from ) for ; Sun, 06 Sep 2020 14:24:30 +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 E69D5940876 for ; Sun, 6 Sep 2020 14:24:29 +0000 (UTC) Received: from localhost ([::1]:40444 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEvam-0007Zf-EA for larch@yhetil.org; Sun, 06 Sep 2020 10:24:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48768) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kEvaT-0007ZX-Av for help-guix@gnu.org; Sun, 06 Sep 2020 10:24:09 -0400 Received: from cascadia.aikidev.net ([2600:3c01:e000:267:0:a171:de7:c]:47318) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kEvaR-0001OG-2z for help-guix@gnu.org; Sun, 06 Sep 2020 10:24:09 -0400 Received: from localhost (unknown [IPv6:2600:3c01:e000:21:21:21:0:100e]) (Authenticated sender: vagrant@cascadia.debian.net) by cascadia.aikidev.net (Postfix) with ESMTPSA id 037671AA3F; Sun, 6 Sep 2020 07:24:02 -0700 (PDT) From: Vagrant Cascadian To: Andreas Enge Subject: Re: Guix on Novena In-Reply-To: <20200906084522.GA1900@jurong> References: <20200901093841.GA4371@jurong> <87eenlo3fj.fsf@ponder> <20200901180653.GA2323@jurong> <87zh6813yp.fsf@ponder> <20200902180548.GA15217@jurong> <87wo1c111p.fsf@ponder> <20200906084522.GA1900@jurong> Date: Sun, 06 Sep 2020 07:23:33 -0700 Message-ID: <87y2ln2dcq.fsf@ponder> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: none client-ip=2600:3c01:e000:267:0:a171:de7:c; envelope-from=vagrant@debian.org; helo=cascadia.aikidev.net X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/06 10:24:03 X-ACL-Warn: Detected OS = ??? X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham 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.11 X-TUID: 4lCTYxJvtI92 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2020-09-06, Andreas Enge wrote: > 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. From=20the u-boot prompt: printenv boot_targets Should output something like: mmc1 mmc0 sata0 usb0 pxe Doing: setenv boot_targets usb0 Might get it to boot from usb only... I've also had occasional troubles with some USB ports on the novena, so you might need to move it between ports to find one that works consistantly. > 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 plu= gged > in? My SD card is called /dev/mmcblk0, and there are several partitions; > do I give /dev/mmcblk0 or /dev/mmcblk0p1 as the argument? The bootloader needs to be installed on the raw SD device, not a partition, so /dev/mmcblk0 or /dev/mmcblk1 (or if you're installing the bootloader using an sd-to-usb adapter, /dev/sd{a,b...}). I'm not sure if the bootloader can be installed on the full-sized SD slot, but certainly works with the annoying microSD slot. Sometimes the enumeration of the device number may vary from one kernel version or even boot to the next (though it's gotten more stable in recent years). I forget off the top of my head how you can pass a no-op to the boot configuration to just generate the extlinux.conf that is used by u-boot, but that's also an option to relying on the existing boot loader, presuming it supports all the features you need to boot (e.g. u-boot's distro_boot support). > Then later I have: > (file-systems (cons* (file-system > (device (uuid "f1062993-3776-47d2-8900-9e4f1d9fc= 8aa")) ; /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? Should be fine, yes. > 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 for= got > 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 latt= er > is almost full. Someone else will have to answer this; it's been too long since I've installed that way. Thanks for working on getting some armhf build machines going! After nearly a full day of building guile-static, I finally managed to get the novena installation updated to a recent guix, running linux-libre@5.8 (as well as testing 5.4 and various linux-libre-arm-generic builds). live well, vagrant --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCX1Tw5gAKCRDcUY/If5cW qnFIAP9rzyk26rMLiZkpIBAzJOXT1K67ZRsOygPkQlx2he63lQEAknZcJdlLmebD jgrCM5jF6lE9C7bdeep4oGTNfW3vRQo= =ApwB -----END PGP SIGNATURE----- --=-=-=--