> Thank you for creating the Raspberry Pi port. I had always wanted to > use Plan 9, but I was not able to until this port was created, because > I didn't have any compatible hardware.
Yes, that's why I did it -- to give people a low-cost way to try Plan 9, and also to give Plan 9 users a way to try the Raspberry Pi. I'm glad to know it's been useful.