I'd be curious to know the methodology for producing this port as well. There is a site where a fellow is describing his efforts to port Inferno to RPi, that is certainly interesting reading... and I haven't checked his progress in a while, so I should.

Many thanks!

Shane.

On Feb 19, 2014 9:25 AM, "Yoann Padioleau" <pad@fb.com> wrote:
Yes, thx Richard.

But how this image was produced? just mk in the sys/src/9/bcm/
official plan9 distribution or do you have a custom plan9?

On Feb 18, 2014, at 1:05 PM, Richard Miller <9fans@hamnavoe.com>
 wrote:

>> 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.
>
>