From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 14 Sep 2011 22:50:07 +0200
From: =?iso-8859-1?Q?Llu=EDs?= Batlle i Rossell <viriketo@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Message-ID: <20110914205004.GD1976@vicerveza.homeunix.net>
References: <CAP6exYKf6RL6J8MU1E3vc4y_TarbYzowkeHdTrpZ1Q5ved9faQ@mail.gmail.com>
	<CAJJ04x5J+HO8VLT9-ANgc0NHjT-gmdOEaz78kJGE+c2U-Mb6ww@mail.gmail.com>
	<CA+N-5bb-tdG5AK_F5foE5zVGyEmTPjP44p7vObJW5AJzsYY_sw@mail.gmail.com>
	<CANPzgjTztV_1GRFZH-XY3uBkOYTx1jZQd+a1FVVDq18KPhLvUg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CANPzgjTztV_1GRFZH-XY3uBkOYTx1jZQd+a1FVVDq18KPhLvUg@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [9fans] NIX 64-bit kernel is available
Topicbox-Message-UUID: 1e0d79e4-ead7-11e9-9d60-3106f5b1d025

On Wed, Sep 14, 2011 at 04:38:42PM -0400, s s wrote:
> Very nice.
>
> Are you sure you want to call it NIX, though?
>
> A google search for "nix kernel" returns a lot of unrelated results.
>
> http://www.google.com/#hl=en&q=nix+kernel

As google results depend on who searches... I "work" for a
project under the name of nix for some years:
http://nixos.org/nix/

As for one example.

Bye,
Lluis.