NixOS/nixpkgs — pull request #3155 by doublec (2014-07-02 02:01:19+00:00)
Title: Add inferno, a distributed cross-platform hosted OS

Adds the [Inferno OS](http://inferno-os.org/). An `inferno` command is added to start inferno with a copy of Inferno's runtime setup correctly for the user in `$XDG_DATA_HOME/inferno`. The command line shell can be used or the windowing runtime executed with `wm/wm wm/login -u username`.