Inferno RPI boot file 0.6

Releasing Inferno-rpi-0.6

Changes:

• Added devi2c
• Added devspi
• Added devgpio (GPIO)
• Minor changes/adjustements
• Boot to kernel-nogui.bin by default. Change config.txt or enter ; wm/wm

Installation:

1. Download latest zip package from this release
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, … – 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 boot into want GUI (wm/wm) to be started just edit config.txt and replace kernel-nogui.bin to kernel.bin