[9fans] Plan9 on radpberry pi zero ?

[9fans] Plan9 on radpberry pi zero ?

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 60 bytes --]

Is it possible to install Plan 9 on the Raspberry Pi Zero?

[-- Attachment #2: Type: text/html, Size: 390 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Rodrigo G. López]

[-- Attachment #1: Type: text/plain, Size: 319 bytes --]

it works the same as the rpi, no?
if so, probably yes.

burn the .img into an sdcard and try it out. report back any the results.


regards

-rodri


On Fri, Aug 16, 2019, 10:40 AM Олег Бахарев <disconnectix@gmail.com> wrote:

> Is it possible to install Plan 9 on the Raspberry Pi Zero?
>
>

[-- Attachment #2: Type: text/html, Size: 1090 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 595 bytes --]

But is it possible to assemble ISO from under Plan 9? Purely from the
system itself? Of course. I will tell you the results as soon as the
Raspberry Pi Zero arrives.

пт, 16 авг. 2019 г., 13:04 Rodrigo G. López <rodrigosloop@gmail.com>:

> it works the same as the rpi, no?
> if so, probably yes.
>
> burn the .img into an sdcard and try it out. report back any the results.
>
>
> regards
>
> -rodri
>
>
> On Fri, Aug 16, 2019, 10:40 AM Олег Бахарев <disconnectix@gmail.com>
> wrote:
>
>> Is it possible to install Plan 9 on the Raspberry Pi Zero?
>>
>>

[-- Attachment #2: Type: text/html, Size: 1777 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Richard Miller]

> burn the .img into an sdcard and try it out.

The current SD card image https://9p.io/sources/contrib/miller/9pi.img.gz
has a flaw in the bootable kernel which makes it wait forever for a
usb ethernet adapter, which isn't there on the pi zero.  So, after burning
the SD card, please copy https://9p.io/sources/contrib/miller/9pi to the
DOS partition - this is a newer kernel which fixes the problem.

I will get around to updating the 9pi.img.gz Real Soon Now.

Re: [9fans] Plan9 on radpberry pi zero ?

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 670 bytes --]

Cool. Thank you very much)) It is very pleasing. By the way, in plan 9, are
things with RISC-V?

пт, 16 авг. 2019 г., 14:25 Richard Miller <9fans@hamnavoe.com>:

> > burn the .img into an sdcard and try it out.
>
> The current SD card image https://9p.io/sources/contrib/miller/9pi.img.gz
> has a flaw in the bootable kernel which makes it wait forever for a
> usb ethernet adapter, which isn't there on the pi zero.  So, after burning
> the SD card, please copy https://9p.io/sources/contrib/miller/9pi to the
> DOS partition - this is a newer kernel which fixes the problem.
>
> I will get around to updating the 9pi.img.gz Real Soon Now.
>
>
>

[-- Attachment #2: Type: text/html, Size: 1303 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Richard Miller]

> By the way, in plan 9, are
> things with RISC-V?

I have a working (but not very thoroughly tested) plan 9 C compiler,
assembler, and loader for RV32IM.

I believe there was a Harvey OS version for RISC-V -- does anyone
have up to date info about that?

Re: [9fans] Plan9 on radpberry pi zero ?

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 544 bytes --]

Do you mean something like BlackIce II (I'm under RV32I)? There is still
one interesting board (inexpensive) on the RISC V 64 bit (RV64IMAG) - if
you want I will show where to get

пт, 16 авг. 2019 г., 14:40 Richard Miller <9fans@hamnavoe.com>:

> > By the way, in plan 9, are
> > things with RISC-V?
>
> I have a working (but not very thoroughly tested) plan 9 C compiler,
> assembler, and loader for RV32IM.
>
> I believe there was a Harvey OS version for RISC-V -- does anyone
> have up to date info about that?
>
>
>

[-- Attachment #2: Type: text/html, Size: 1026 bytes --]

[9fans] RISC-V (was: Plan9 on radpberry pi zero ?)

[Richard Miller]

> Do you mean something like BlackIce II (I'm under RV32I)?

Yes, I have tried various soft cores on BlackIce (including
one of my own design, for fun); also real silicon HiFive-1.
So far none of these has had an MMU, which is required for
Plan 9 (though not for Inferno).

Re: [9fans] RISC-V (was: Plan9 on radpberry pi zero ?)

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 515 bytes --]

that is, blackice II will not start? (yes, by the way, how small the world
is - you and I, Richard, cross each other on the mystorm forum)

пт, 16 авг. 2019 г., 16:56 Richard Miller <9fans@hamnavoe.com>:

> > Do you mean something like BlackIce II (I'm under RV32I)?
>
> Yes, I have tried various soft cores on BlackIce (including
> one of my own design, for fun); also real silicon HiFive-1.
> So far none of these has had an MMU, which is required for
> Plan 9 (though not for Inferno).
>
>
>

[-- Attachment #2: Type: text/html, Size: 934 bytes --]

Re: [9fans] RISC-V (was: Plan9 on radpberry pi zero ?)

[Richard Miller]

> that is, blackice II will not start?

I think it should be possible to add an MMU to a small RISC-V core
(eg picorv32) to fit on BlackIce II or MX, but  I haven't tried
it myself.

You would also need some external RAM. I've been experimenting with
an 8MB hyperram chip, which is enough for bootstrapping the C compiler
in a "bare metal" setting, but a full Plan 9 would need lots more.

Re: [9fans] RISC-V (was: Plan9 on radpberry pi zero ?)

[minux]

On Fri, Aug 16, 2019 at 9:56 AM Richard Miller <9fans@hamnavoe.com> wrote:
> > Do you mean something like BlackIce II (I'm under RV32I)?
>
> Yes, I have tried various soft cores on BlackIce (including
> one of my own design, for fun); also real silicon HiFive-1.
> So far none of these has had an MMU, which is required for
> Plan 9 (though not for Inferno).

Speaking of RISC-V with MMU for Plan 9, Kendryte K210 is a 28nm MCU
with dual core RV64GC and Linux capable MMU (!). It has 8MB onchip
SRAM and also NN, FFT accelerators.
I think that makes a good platform for Plan 9 on RISC-V, on a real silicon.
It also has a lot of really cheap evaluation board options available.
(The only other currently available RV64GC w/ MMU silicon is the
Hifive unleashed, which is very expensive.)

The only major problem of K210 is that its IO capabilities are fairly
limited and you need external Ethernet/Wifi solutions on SPI bus,
which is likely slow.

Re: [9fans] RISC-V (was: Plan9 on radpberry pi zero ?)

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 1199 bytes --]

By the way, I meant kendryte k210. and the board, for example, maix bit, is
very cheap (you can get a stock from Bangood.com)

сб, 17 авг. 2019 г., 1:56 minux <minux.ma@gmail.com>:

> On Fri, Aug 16, 2019 at 9:56 AM Richard Miller <9fans@hamnavoe.com> wrote:
> > > Do you mean something like BlackIce II (I'm under RV32I)?
> >
> > Yes, I have tried various soft cores on BlackIce (including
> > one of my own design, for fun); also real silicon HiFive-1.
> > So far none of these has had an MMU, which is required for
> > Plan 9 (though not for Inferno).
>
> Speaking of RISC-V with MMU for Plan 9, Kendryte K210 is a 28nm MCU
> with dual core RV64GC and Linux capable MMU (!). It has 8MB onchip
> SRAM and also NN, FFT accelerators.
> I think that makes a good platform for Plan 9 on RISC-V, on a real silicon.
> It also has a lot of really cheap evaluation board options available.
> (The only other currently available RV64GC w/ MMU silicon is the
> Hifive unleashed, which is very expensive.)
>
> The only major problem of K210 is that its IO capabilities are fairly
> limited and you need external Ethernet/Wifi solutions on SPI bus,
> which is likely slow.
>
>

[-- Attachment #2: Type: text/html, Size: 1739 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Ethan Gardener]

On Fri, Aug 16, 2019, at 2:26 PM, Олег Бахарев wrote:
> 
> Do you mean something like BlackIce II (I'm under RV32I)? There is still one interesting board (inexpensive) on the RISC V 64 bit (RV64IMAG) - if you want I will show where to get

Yes please

Re: [9fans] Plan9 on radpberry pi zero ?

[Олег Бахарев]

[-- Attachment #1: Type: text/plain, Size: 839 bytes --]

Board with K210 from Kendryte:
https://ru-m.banggood.com/Sipeed-Maix-BIT-RISC-V-Dual-Core-64bit-CPU-With-FPU-AI-Module-Core-Board-Development-Board-Mini-PC-Learning-Board-p-1453873.html?gmcCountry=RU&currency=RUB&cur_warehouse=CN&createTmp=1&ID=326941415&utm_source=googleshopping&utm_medium=cpc_bgcs&utm_content=lijing&utm_campaign=pla-rug-rm-cart-0802-mb&ad_id=375319756499&gclid=CjwKCAjwkenqBRBgEiwA-bZVtrVYU5BLvdqcXpQs-nT-R8ngDuLXHRGUHfdzpt4ui8G0W8UWQHxc2BoCzm0QAvD_BwE

пн, 19 авг. 2019 г., 17:45 Ethan Gardener <eekee57@fastmail.fm>:

> On Fri, Aug 16, 2019, at 2:26 PM, Олег Бахарев wrote:
> >
> > Do you mean something like BlackIce II (I'm under RV32I)? There is still
> one interesting board (inexpensive) on the RISC V 64 bit (RV64IMAG) - if
> you want I will show where to get
>
> Yes please
>
>

[-- Attachment #2: Type: text/html, Size: 1649 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[raingloom]

[-- Attachment #1: Type: text/plain, Size: 1019 bytes --]

> Board with K210 from Kendryte: https://ru-m.banggood.com/Sipeed-Maix-BIT-RISC-V-Dual-Core-64bit-CPU-With-FPU-AI-Module-Core-Board-Development-Board-Mini-PC-Learning-Board-p-1453873.html?gmcCountry=RU&currency=RUB&cur_warehouse=CN&createTmp=1&ID=326941415&utm_source=googleshopping&utm_medium=cpc_bgcs&utm_content=lijing&utm_campaign=pla-rug-rm-cart-0802-mb&ad_id=375319756499&gclid=CjwKCAjwkenqBRBgEiwA-bZVtrVYU5BLvdqcXpQs-nT-R8ngDuLXHRGUHfdzpt4ui8G0W8UWQHxc2BoCzm0QAvD_BwE
>
> пн, 19 авг. 2019 г., 17:45 Ethan Gardener <eekee57@fastmail.fm>:
>
>> On Fri, Aug 16, 2019, at 2:26 PM, Олег Бахарев wrote:
>>>
>>> Do you mean something like BlackIce II (I'm under RV32I)? There is still one interesting board (inexpensive) on the RISC V 64 bit (RV64IMAG) - if you want I will show where to get
>>
>> Yes please

Cleaned up link with trackers removed:
https://www.banggood.com/Sipeed-Maix-BIT-RISC-V-Dual-Core-64bit-CPU-With-FPU-AI-Module-Core-Board-Development-Board-Mini-PC-Learning-Board-p-1453873.html

[-- Attachment #2: Type: text/html, Size: 2183 bytes --]

Re: [9fans] Plan9 on radpberry pi zero ?

[Lucio De Re]

On 8/20/19, raingloom <raingloom@protonmail.com> wrote:
>> Board with K210 from Kendryte:

For the curious (and I'm going to bookmark this so I can show my
colleagues what happens when too much data is shipped to a browser,
mindlessly), there are what look like full-sized images reduced to
thumbnails that were still downloading when I started this message, on
that page.

Thank you for the pointer, in any case.

Lucio.

PS: Those images would probably be still loading...

Re: [9fans] Plan9 on radpberry pi zero ?

[Ethan Gardener]

> Cleaned up link with trackers removed:
> https://www.banggood.com/Sipeed-Maix-BIT-RISC-V-Dual-Core-64bit-CPU-With-FPU-AI-Module-Core-Board-Development-Board-Mini-PC-Learning-Board-p-1453873.html

Thanks guys.  Replacing 'www' with my country code shows me it's pretty cheap.

Re: [9fans] Plan9 on radpberry pi zero ?

[Chris McGee]

[-- Attachment #1: Type: text/plain, Size: 189 bytes --]

Has anyone tried putting Plan 9 on one of these MIPS based SoC’s?

https://vocore.io/v2u.html

The hardware is supposedly open, which might make it easier to work on drivers.

Chris

[-- Attachment #2: Type: text/html, Size: 494 bytes --]