Add inferno, a distributed cross-platform hosted OS