From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: References: <4bfda88e655fbdf10aca231ab1095452@hamnavoe.com> Date: Wed, 19 Feb 2014 11:13:10 +1100 Message-ID: From: Shane Morris To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=001a1134d69c0832a204f2b741a5 Subject: Re: [9fans] Raspberry Pi image Topicbox-Message-UUID: bc489d54-ead8-11e9-9d60-3106f5b1d025 --001a1134d69c0832a204f2b741a5 Content-Type: text/plain; charset=ISO-8859-1 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" 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. > > > > > > > --001a1134d69c0832a204f2b741a5 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

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

Many thanks!

Shane.

On Feb 19, 2014 9:25 AM, "Yoann Padioleau&q= uot; <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>
=A0wrote:

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


--001a1134d69c0832a204f2b741a5--