From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner+willy=40w.ods.org@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S267159AbTAKFEN>; Sat, 11 Jan 2003 00:04:13 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S267160AbTAKFEM>; Sat, 11 Jan 2003 00:04:12 -0500
Received: from yossman.net ([209.162.234.20]:40456 "EHLO yossman.net")
	by vger.kernel.org with ESMTP id <S267159AbTAKFDS>;
	Sat, 11 Jan 2003 00:03:18 -0500
Message-ID: <3E1FA7A0.6090305@yossman.net>
Date: Sat, 11 Jan 2003 00:12:00 -0500
From: Brian Davids <dlister@yossman.net>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021202
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: robw@optonline.net
CC: linux-kernel@vger.kernel.org
Subject: OT: Renaming the kernel??!?!?!? (Was Re: Nvidia and its choice to
 read the GPL "differently")
References: <7BFCE5F1EF28D64198522688F5449D5A03C0F4@xchangeserver2.storigen.com> <20030111025449.GJ9124@work.bitmover.com> <1042253924.1385.70.camel@RobsPC.RobertWilkens.com> <200301110316.WAA00987@onevista.com> <1042256140.1259.99.camel@RobsPC.RobertWilkens.com> <3E1FA07F.7000903@tmsusa.com> <1042260296.1278.181.camel@RobsPC.RobertWilkens.com>
In-Reply-To: <1042260296.1278.181.camel@RobsPC.RobertWilkens.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

Rob Wilkens wrote:

> Anyway, I'm here to discuss the kernel.  The issue at hand was
> whether the kernel should be renamed.  I didn't bring up the topic, I
> was only chiming in with an opinion.  As the topic went on, things
> got further off-topic as can happen.
> 
> "renaming of a kernel" is a topic relevant to a kernel mailing list.

Maybe you should read the e-mails a bit more carefully.  The issue
you're refering to is NOT renaming the kernel, but rather what people
believe the collection of kernel, libraries, and user-land tools should
properly be called.  I don't think I've ever seen RMS (or anyone else
for that matter) say that the kernel itself should be called anything
other than Linux.  The controversy is what peoples' ideas of what
constitutes the operating system are and what to call it.


Brian Davids