Releasing *Inferno-rpi-0.3*


Changes:
* Enabled JIT
* Included recent updated of Inferno-Os
* Memory split 240/16
* devcons is added


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


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