Re: [9front] unofficial sdcard image for raspberry pi 4 testing

[kokamoto@hera.eonet.ne.jp]

[-- Attachment #1: Type: text/plain, Size: 2055 bytes --]

Ok, this is my present settings and the output results.

/sys/src/9/bcm/pi2wifi:
dev
	root
	cons
	swap
	env
	pipe
	proc
	mnt
	srv
	shr
	dup
	arch
	ssl
	tls
	cap
	fs
	ether	netif
	ip		arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium inferno
	draw	screen swcursor
	mouse	mouse
	uart	gpio
	gpio	gpio
	sd
	usb
#	dtracy

link
	loopbackmedium
	ethermedium
	archbcm2
	sdhost
	usbdwc
#	etherusb
	ether4330 emmc

ip
	tcp
	udp
	ipifc
	icmp
	icmp6
	ipmux

misc
	armv7
	uartmini
	uartpl011
	sdmmc	emmc
	dma
	vcore
	vfp3 coproc
	irq
#	wifi

#	dtracysys
#	dtracytimer

port
	int cpuserver = 0;

boot boot #S/sdM0/
	local
	tcp
	tls

bootdir
	/$objtype/bin/paqfs
	/$objtype/bin/auth/factotum
	/$objtype/bin/aux/wpa
	/lib/firmware/brcmfmac43430-sdio.bin
	/lib/firmware/brcmfmac43430-sdio.txt
	/lib/firmware/brcmfmac43455-sdio.bin
	/lib/firmware/brcmfmac43455-sdio.txt
	/lib/firmware/brcmfmac43455-sdio.clm_blob
	bootfs.paq
	boot

====out put====
many lines of
#xxx: 4330: 10 Mbps port 0x0 irq -1 ea 000000000000
...
998M memory: 403M kernel data, 595M user, 3573M swap
cpu1: 1200MHz ARM Cortex-A53 r0p4
cpu2: 1200MHz ARM Cortex-A53 r0p4
cpu3: 1200MHz ARM Cortex-A53 r0p4
ether4330: chip 43430 rev 1 type 1
ether4330: firmware ready
ether4330: addr <my rpi3's MAC address>
ether3220: no response to sdio access: ocr=0
ether3220: no response to sdio access: ocr=0
ether3220: no response to sdio access: ocr=0

/dev/sdM0: BCM SDHost Controller
/dev/sdM0/data
/dev/sdM0/dos	dos
/dev/sdM0/fs	hjfs
/dev/sdM0/nvram
/dev/sdM0/plan9
bootargs is (tcp, tls, il, local!device) [tls]
user[glenda]: sys
ipconfig: ...
ipconfig: can't start IPv6 on /net/ether0
emmccmd: need to reset Cmdinhibit intr 0 stat 1ff0106
emmccmd: need to reset Datinhibit intr 0 stat 1ff0106
emmcio: timeout intr 208010 stat 1ff0106
ether4330: sdiorwext fail: i/o error
ipconfig: no success with DHCP
/bin/tlsclient: dial tcp!<my file server's IP address>!17020: no route
mount: can't open #s/boot: '#s/boot' file does not exist
mount -c #s/boot /root: mount 267: open

---
return to login prompt

[-- Attachment #2: Type: message/rfc822, Size: 2165 bytes --]

From: rgl@antares-labs.eu
To: 9front@9front.org
Subject: Re: [9front] unofficial sdcard image for raspberry pi 4 testing
Date: Sat, 16 Nov 2019 11:04:35 +0100
Message-ID: <90CF5F74EED92E387C5F75BBC29B8621@antares-labs.eu>

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