code: fqa.9front.org

Download patch

ref: 4d235a245cfb18a198c28f589274b4db3da20522
parent: a324b9ab375d75afaad74b7cbed04d973c996fc7
author: sl <sl@stanleylieber.com>
date: Thu Feb 10 08:45:47 EST 2022

appendixj.ms: gently update for arm64

--- a/appendixj.ms
+++ b/appendixj.ms
@@ -47,12 +47,12 @@
 .R
 
 The last release introduces support for
-raspi1,2 and 3 and you can build a sdcard image that will
+raspi1, 2, 3, and 4, and you can build a sdcard image that will
 be bootable on raspi by running:
 .P1
 # build arm userspace
 cd /sys/src
-objtype=arm
+objtype=arm	# arm64 for rpi3 or rpi4
 mk install
 
 # download raspi firmware
@@ -59,12 +59,17 @@
 cd /sys/src/boot/bcm
 mk
 
-# build 32 bit arm kernel for raspi (pi2 also works for raspi3)
+# build 32-bit kernel for rpi1 or rpi2 (pi2 also works for raspi3)
 cd /sys/src/9/bcm
 mk 'CONF=pi' install
 mk 'CONF=pi2' install
 
-# build bootable hjfs sdcard image for raspi
+# build a 64-bit kernel for rpi3 or rpi4
+cd /sys/src/9/bcm64
+mk 'CONF=pi3' install
+mk 'CONF=pi4' install
+
+# build bootable hjfs sdcard image for rpi
 cd /sys/lib/dist
 bind / /n/src9
 mk /path/to/somethingsomething.pi.img