From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: References: <4bfda88e655fbdf10aca231ab1095452@hamnavoe.com> Date: Tue, 18 Feb 2014 19:19:44 -0500 Message-ID: From: Jacob Todd To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=001a11c2aa6a88b1fb04f2b758f1 Subject: Re: [9fans] Raspberry Pi image Topicbox-Message-UUID: bc5001a2-ead8-11e9-9d60-3106f5b1d025 --001a11c2aa6a88b1fb04f2b758f1 Content-Type: text/plain; charset=UTF-8 Check the 9front wiki. On Feb 18, 2014 7:15 PM, "Shane Morris" 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" 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. >> > >> > >> >> >> --001a11c2aa6a88b1fb04f2b758f1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Check the 9front wiki.

On Feb 18, 2014 7:15 PM, "Shane Morris"= ; <edgecomberts@gmail.com&= gt; wrote:

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>
=C2=A0wrote:

>> Thank you for creating the Raspberry Pi port. =C2=A0I had always w= anted 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. =C2=A0I&#= 39;m glad
> to know it's been useful.
>
>


--001a11c2aa6a88b1fb04f2b758f1--