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
--
⑨