Raspberry Pi (Plan 9 wiki)

A compressed image of a bootable SD card for the Raspberry Pi is available from this link:

https://9p.io/sources/contrib/miller/9pi.img.gz

Plan 9 runs on various Raspberry Pi models. The Raspberry Pi 5 port runs a 64-bit kernel (bcm64), while other models run a 32-bit kernel (bcm). They are stable and performs reasonably, but there is more work to be done.

TODO

The Raspberry Pi contains a lot of interesting bits that we aren't yet doing anything with. Here's a (more or less complete) list of things we'd like to see done, with some info on each.

The best starting point for an overview of the Pi's hardware capabilities is on their wiki.

GPIO

Bakul Shah has been working on a GPIO driver for the Pi.

I²C
I²S
audio
pwm
spi

DSI & CSI-2

These are display and camera interfaces, located at S2 and S5 on the Pi, respectively. These are not widely supported on the various systems which run on the Pi, and compatible hardware is not very common. Compatible displays can be found in some smartphones.

OPENING THE 9PI IMAGE ON PLAN 9

Perhaps this is not obvious for everyone. After you have gunzipped the image:

% aux/disksim -f 9pi.img
% cd /dev/sdXX
% disk/fdisk -p data >ctl
% disk/prep -p plan9 >ctl
% # this command only need to be run the first time you mount it:
% {fossil/conf fossil; echo srv pi5; echo srv -p fscons.pi5} | fossil/conf -w fossil
% fossil/fossil -f fossil
% mount -c /srv/pi5 /n/pi5