RaspberryPi
A lot has been published on the theme of getting plan9 / 9front onto an Raspberry Pi SBC.
So for now, just a couple of notes not found alonside published tutorials.
edit RPi boot settings remotely
So you got plan9 / 9front system up and running on an RPi, doing something usefull. Now you want to edit the boot parameters in config.txt remotely for some reason (like trying out different kernels).
When logging in remotely trough rcpu, not all kernel devices are mounted and 9fs pidos will return an error. To get it working mount the #S kernel device first:
bind -b '#S' /dev
9fs pidos
cd /n/pidos
# do what you need to do in the RPi boot partition