FQA INDEX | Appendix G - GSOC | Appendix L - Languages

Appendix J - Junk

html | pdf | troff

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


mk install

# build 64-bit arm64 userspace


mk install

# download raspi firmware

cd /sys/src/boot/bcm


# 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.

FQA INDEX | FQA 9 - Troubleshooting | Appendix L - Languages