Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1750704AbWEKSxy (ORCPT ); Thu, 11 May 2006 14:53:54 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1750719AbWEKSxw (ORCPT ); Thu, 11 May 2006 14:53:52 -0400 Received: from free.hands.com ([83.142.228.128]:50389 "EHLO free.hands.com") by vger.kernel.org with ESMTP id S1750700AbWEKSxs (ORCPT ); Thu, 11 May 2006 14:53:48 -0400 Date: Thu, 11 May 2006 19:54:24 +0100 From: Luke Kenneth Casson Leighton To: linux-kernel@vger.kernel.org Subject: [lkcl@lkcl.net: l4linux.org; m4linux.org; http://www.ertos.nicta.com.au/Research/ESF/Wombat/] Message-ID: <20060511185424.GE7427@lkcl.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.11+cvs20060403 X-hands-com-MailScanner: Found to be clean X-MailScanner-From: lkcl@lkcl.net Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 764 Lines: 24 m4linux - linux on the mach kernel (doesn't look as good as l4linux) l4linux - linux on the l4 microkernel (with 8 architectures supported so far) currently doing 2.6.16 wombat - an alternate l4 microkernel port (only one architecture?) currently doing 2.6.9 so - it's already been done. now, could someone _please_ take linus' laptop away from him and install l4linux on it overnight, and see if he notices? thank you :) -- -- Mad Free Software Person, Visionary and Poet (http://lkcl.net) - 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/