For those who saw my raspberry pi demo at iwp9 and were inspired to order one: there's now an updated SD card image 9pi.img.gz in contrib/miller which fixes a few last (I hope) glitches. If you already have an SD image, you can just get the new kernel from contrib/miller/9/rpi/9pi .
The image is set up to boot to the introductory glenda desktop. To use it as a normal Plan 9 terminal, copy cmdline-term.txt in the dos partition to cmdline.txt .
