Check the 9front wiki.
On Feb 18, 2014 7:15 PM, "Shane Morris" <edgecomberts@gmail.com> wrote:

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