Raspberry Pi
Installation Instructions
The current release supports raspi1, 2, 3, and 4, and you can build a sdcard image that will be bootable on raspi by running:
[Continued on next page]
cd /sys/src
# build 32-bit arm userspace
objtype=arm
mk install
# build 64-bit arm64 userspace
objtype=arm64
mk install
# download raspi firmware
cd /sys/src/boot/bcm
mk
# 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 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
Once booted on the Raspberry Pi, you’re able to mount the dos partition with:
9fs pidos
This will mount the dos partition on /n/pidos, similar to how 9fs 9fat works.