Just small update:
To keep track of codebase of the Inferno OS on Raspberry Pi Labs we created the google code project to keep the repository and do other stuff related to the labs managements:
https://code.google.com/p/inferno-rpi/
All Labs-Commits: