[rcarmo]

Tried it, seems there's something wrong with the image: https://code.google.com/p/inferno-rpi/issues/detail?id=1 (gonna try a second SD card anyway)

I have high hopes for this, though, since Inferno is a lot of fun to tinker with.