Install Plan9 on Raspberry Pi 400
  2023-09-11


This is a work in progress tutorial. There are still things I need to figure
out.

Download 9pi.img.gz from [1]. Put it on an SD card, insert the SD card into the
RPi 400 and power it on. I understand that you also need a connected mouse
otherwise it might not boot. I have a wireless mouse and works fine.

To get internet connection you need to plug the RPi into the router using an
ethernet cable. I'm still working on figuring out how to do this using wifi.

Run the following commands in the terminal:
  ip/ifconfig
  ndb/dns -r
  ip/ping google.com

I will update this page when I have more useful information.

[1] https://9p.io/sources/contrib/miller/

---