From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
Date: Sat,  9 Jan 2016 16:42:05 +0100
Message-ID: <CAOmzhnbz9G3q7ZeLizUhqf9rkP-VbHbTCKJA2h4KLbKL6Xkovw@mail.gmail.com>
From: Oleksandr Iakovliev <yshurik@gmail.com>
To: 9fans@9fans.net
Content-Type: multipart/alternative; boundary=089e0112c022c236a10528e88b68
Subject: [9fans] Releasing Inferno-rpi-0.5
Topicbox-Message-UUID: 7edd4428-ead9-11e9-9d60-3106f5b1d025

--089e0112c022c236a10528e88b68
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Releasing *Inferno-rpi-0.5*

Changes:
* Fixed wrong calculatons of memory pool sizes.
* Support of Pi-1 models with 512MB RAM.
* Update of sources from 9pi project: usbdwc, emmc, etherusb.
* Added uartmini module from 9pi.
* Use Mntgen by default for /n /n/local /n/remote
* Boot to kernel-nogui.bin by default. Change config.txt or enter ; wm/wm

Download:
* https://bitbucket.org/infpi/inferno-rpi/downloads/inferno-rpi-0.5.zip

Installation:
1. Download latest zip package from
https://bitbucket.org/infpi/inferno-rpi/downloads
2. Pepare SD card with first DOS partition with size less than 250 MB
(vfat32 support is not complete)
3. Unzip all files to SD (boot.scr, kernel.bin, =E2=80=A6 =E2=80=93 should =
in root of SD)
4. Boot Raspberry Pi
5. By default it starts =E2=80=9C`styxlisten -A tcp!*!564 export /=E2=80=9C=
`, so you can
mount it on other host by =E2=80=9C`mount -A tcp!10.0.56.101!564 /n/remote/=
rpi=E2=80=9C`
(-A means no auth, IP is for example, see what it got by DHCP)
6. If you boot into want GUI (wm/wm) to be started just edit config.txt and
replacekernel-nogui.bin to kernel.bin


7. Enjoy!

--089e0112c022c236a10528e88b68
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><p style=3D"margin:0px 0px 22px;padding:0px;border:0px;out=
line:0px;font-size:15px;vertical-align:baseline;color:rgb(0,0,0);font-famil=
y:Georgia,serif;line-height:22px;background-image:initial;background-repeat=
:initial">Releasing=C2=A0<strong style=3D"margin:0px;padding:0px;border:0px=
;outline:0px;vertical-align:baseline;background:transparent">Inferno-rpi-0.=
5</strong></p><p style=3D"margin:0px 0px 22px;padding:0px;border:0px;outlin=
e:0px;font-size:15px;vertical-align:baseline;color:rgb(0,0,0);font-family:G=
eorgia,serif;line-height:22px;background-image:initial;background-repeat:in=
itial">Changes:<br>* Fixed wrong calculatons of memory pool sizes.<br>* Sup=
port of Pi-1 models with 512MB RAM.<br>* Update of sources from 9pi project=
: usbdwc, emmc, etherusb.<br>* Added uartmini module from 9pi.<br>* Use Mnt=
gen by default for /n /n/local /n/remote<br>* Boot to kernel-nogui.bin by d=
efault. Change config.txt or enter ; wm/wm</p><p style=3D"margin:0px 0px 22=
px;padding:0px;border:0px;outline:0px;font-size:15px;vertical-align:baselin=
e;color:rgb(0,0,0);font-family:Georgia,serif;line-height:22px;background-im=
age:initial;background-repeat:initial">Download:<br>*=C2=A0<a href=3D"https=
://bitbucket.org/infpi/inferno-rpi/downloads/inferno-rpi-0.5.zip" style=3D"=
margin:0px;padding:0px;border:0px;outline:0px;vertical-align:baseline;color=
:rgb(116,51,153);background:transparent">https://bitbucket.org/infpi/infern=
o-rpi/downloads/inferno-rpi-0.5.zip</a></p><p style=3D"margin:0px 0px 22px;=
padding:0px;border:0px;outline:0px;font-size:15px;vertical-align:baseline;c=
olor:rgb(0,0,0);font-family:Georgia,serif;line-height:22px;background-image=
:initial;background-repeat:initial">Installation:<br>1. Download latest zip=
 package from=C2=A0<a href=3D"https://bitbucket.org/infpi/inferno-rpi/downl=
oads" style=3D"margin:0px;padding:0px;border:0px;outline:0px;vertical-align=
:baseline;color:rgb(116,51,153);background:transparent">https://bitbucket.o=
rg/infpi/inferno-rpi/downloads</a><br>2. Pepare SD card with first DOS part=
ition with size less than 250 MB (vfat32 support is not complete)<br>3. Unz=
ip all files to SD (boot.scr, kernel.bin, =E2=80=A6 =E2=80=93 should in roo=
t of SD)<br>4. Boot Raspberry Pi<br>5. By default it starts =E2=80=9C`styxl=
isten -A tcp!*!564 export /=E2=80=9C`, so you can mount it on other host by=
 =E2=80=9C`mount -A tcp!10.0.56.101!564 /n/remote/rpi=E2=80=9C` (-A means n=
o auth, IP is for example, see what it got by DHCP)<br>6. If you boot into =
want GUI (wm/wm) to be started just edit=C2=A0<code style=3D"margin:0px;pad=
ding:0px;border:0px;outline:0px;font-size:14px;vertical-align:baseline;font=
-stretch:normal;font-family:Monaco,monospace;background:transparent">config=
.txt</code>=C2=A0and replace<code style=3D"margin:0px;padding:0px;border:0p=
x;outline:0px;font-size:14px;vertical-align:baseline;font-stretch:normal;fo=
nt-family:Monaco,monospace;background:transparent">kernel-nogui.bin</code>=
=C2=A0to=C2=A0<code style=3D"margin:0px;padding:0px;border:0px;outline:0px;=
font-size:14px;vertical-align:baseline;font-stretch:normal;font-family:Mona=
co,monospace;background:transparent">kernel.bin</code></p><p style=3D"margi=
n:0px 0px 22px;padding:0px;border:0px;outline:0px;font-size:15px;vertical-a=
lign:baseline;color:rgb(0,0,0);font-family:Georgia,serif;line-height:22px;b=
ackground-image:initial;background-repeat:initial"><code style=3D"margin:0p=
x;padding:0px;border:0px;outline:0px;font-size:14px;vertical-align:baseline=
;font-stretch:normal;font-family:Monaco,monospace;background:transparent"><=
br></code></p><p style=3D"margin:0px 0px 22px;padding:0px;border:0px;outlin=
e:0px;font-size:15px;vertical-align:baseline;color:rgb(0,0,0);font-family:G=
eorgia,serif;line-height:22px;background-image:initial;background-repeat:in=
itial"><code style=3D"margin:0px;padding:0px;border:0px;outline:0px;font-si=
ze:14px;vertical-align:baseline;font-stretch:normal;font-family:Monaco,mono=
space;background:transparent">7. Enjoy!</code></p></div>

--089e0112c022c236a10528e88b68--