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 S264701AbTE1MOz (ORCPT <rfc822;willy@w.ods.org>);
	Wed, 28 May 2003 08:14:55 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org id S264703AbTE1MOz
	(ORCPT <rfc822;linux-kernel-outgoing>);
	Wed, 28 May 2003 08:14:55 -0400
Received: from web41510.mail.yahoo.com ([66.218.93.93]:32338 "HELO
	web41510.mail.yahoo.com") by vger.kernel.org with SMTP
	id S264701AbTE1MOx (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Wed, 28 May 2003 08:14:53 -0400
Message-ID: <20030528122809.16175.qmail@web41510.mail.yahoo.com>
Date: Wed, 28 May 2003 05:28:09 -0700 (PDT)
From: Carl Spalletta <cspalletta@yahoo.com>
Subject: Re: inventing the wheel?
To: Carl-Daniel Hailfinger <c-d.hailfinger.kernel.2003@gmx.net>
Cc: linux-kernel@vger.kernel.org
In-Reply-To: <3ED3E224.1000402@gmx.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org


--- Carl-Daniel Hailfinger <c-d.hailfinger.kernel.2003@gmx.net> wrote:

> It seems everybody is busy trying Linus' sparse

I don't get any sensible output out of the test clients provided by
Linus for sparse - that is I don't see how to construct the syntax treee
from the output.
 
> Now we only need one additional tool to *prove* correctness
> -an automatic race finder 
> Liberal use of these tools should result in the most stable kernel ever.

For a fact, you do have a point.;-(