Releasing Inferno-rpi-0.3

Changes:

  • Enabled JIT

  • Included recent updated of Inferno-Os

  • Memory split 240/16

  • devcons is added

Download:

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 replace kernel.bin to kernel-nogui.bin