Due to the closure of google code, the project is now moved to: https://bitbucket.org/infpi/inferno-rpi
Also added some minor changes and merged with latest inferno-os codebase changes. So returning a little to the project activity and think to keep the project based on dos partition which will be very simple for demo purposes.
Also think to keep in sync repo on github: https://github.com/yshurik/inferno-rpi