From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from relay9-d.mail.gandi.net ([217.70.183.199]) by ewsd; Sat Nov 16 05:04:44 EST 2019
X-Originating-IP: 185.198.110.254
Received: from coeus.antares-labs.eu (unknown [185.198.110.254])
	(Authenticated sender: rgl@antares-labs.eu)
	by relay9-d.mail.gandi.net (Postfix) with ESMTPSA id 6EDEAFF807
	for <9front@9front.org>; Sat, 16 Nov 2019 10:04:38 +0000 (UTC)
Message-ID: <90CF5F74EED92E387C5F75BBC29B8621@antares-labs.eu>
Date: Sat, 16 Nov 2019 11:04:35 +0100
From: rgl@antares-labs.eu
To: 9front@9front.org
Subject: Re: [9front] unofficial sdcard image for raspberry pi 4 testing
In-Reply-To: 3B74ECDF1DF49C8F0E834D8CEF34216C@hera.eonet.ne.jp
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
List-ID: <9front.9front.org>
List-Help: <http://lists.9front.org>
X-Glyph: ➈
X-Bullshit: private object-oriented engine polling locator 

hi kenji,

> However, to get the / filesystem from a file server to boot the system,
> which is in my case, how I can preset the factotum for wpapsk before the root filesystem
> mounted?   To mount the root I need to connect to the file sever, but I have no wifi setup yet.

for that you will need to add the credentials to the bootfs.paq that's
embedded in the kernel.  if your card needs some firmware, make sure
you have it in /lib/firmware before you mk and deploy the new kernel.

you'll find everything you need in /sys/src/9/boot.  i actually wanted
to do this some time ago, but i ended up with a standalone
installation on the laptop.

please tell us how it goes. :)


-rodri