Inferno-rpi-0.4 release

Releasing Inferno-rpi-0.4

* Significant performance improvement due to fixed error in process scheduling/idle
* Boot time is about ONE second :)


1. Download latest zip package from
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!!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

This entry was posted in Blog, Inferno OS, Raspberry Pi, Release. Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

One Trackback

  1. […] Inferno-rpi-0.4 release […]

Post a Comment

Your email is never published nor shared. Required fields are marked *


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>