Date: Mon, 3 Oct 2005 01:44:42 +0100
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
To: "Randy.Dunlap" <rdunlap@xenotime.net>
Cc: "Martin J. Bligh" <mbligh@mbligh.org>, riel@redhat.com,
       linux-kernel@vger.kernel.org
Subject: Re: what's next for the linux kernel?
Message-ID: <20051003004442.GL6290@lkcl.net>
References: <20051002204703.GG6290@lkcl.net> <Pine.LNX.4.63.0510021704210.27456@cuia.boston.redhat.com> <20051002230545.GI6290@lkcl.net> <54300000.1128297891@[10.10.2.4]> <20051002171457.6bb13672.rdunlap@xenotime.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20051002171457.6bb13672.rdunlap@xenotime.net>
User-Agent: Mutt/1.5.5.1+cvs20040105i
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 868
Lines: 22

On Sun, Oct 02, 2005 at 05:14:57PM -0700, Randy.Dunlap wrote:

> IOW, -ENOPATCH.  where's your patch?
 
 most of the relevant work has already been done (and not by
 me): i invite you to consider searching with google for l4ka,
 l4linux and oskit, or simply going to the web site l4linux.org
 and l4ka.org.

 the code for oskit has been available for some years, now,
 and is regularly maintained.  the l4linux people have had to
 make some significant modifications to it (oskit), and also
 to grub, and libstdc++, and pretty much everything else under
 the sun and, it's all there, for the approx 100mb downloading.

 l.

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/