There were some peculiarities with setting up 9front on the Raspberry Pi, which were not covered in the (otherwise great) 9front FQAs, so I wrote up my notes in setting up on a Pi 3 B+.

Let me know if there are any mistakes or misconceptions there, I'm still feeling my way around here.

#plan9 #raspberrypi

There was a shortcut for the Pi's boot partition: 9fs pidos
9fs is a rc script, check it out!

Also, you can bind -a '' /dev to get access to the GPIO device files. I had to find that one from the sources.


Oh cool, thanks!
I don't have the pi with 9front with me to test at the moment, but I swear i checked lookman gpio and found nothing.

@abortretryfail @nf Yeah, it's not in either the 9front or Plan 9 source trees. I stumbled upon it while looking for something else!

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!