Subject: Re: Hot kernel change
From: Steven Cole <elenstev@mesatop.com>
To: Yann Dirson <ydirson@altern.org>
Cc: linux-kernel@vger.kernel.org
In-Reply-To: <20040402161620.GH22205@bylbo.nowhere.earth>
References: <20040402161620.GH22205@bylbo.nowhere.earth>
Content-Type: text/plain
Message-Id: <1080924316.2206.38.camel@spc0.esa.lanl.gov>
Mime-Version: 1.0
Date: Fri, 02 Apr 2004 09:45:16 -0700
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 917
Lines: 26

On Fri, 2004-04-02 at 09:16, Yann Dirson wrote:
> Jim Richardson wrote:
> >MkLinux was available for x86, but I have no idea if it is still in
> >development. To be clear, it doesn't allow you to simply replace a
> >kernel, but to add a second one, and possibly, to start transferring
> >over tasks to it. 
> 
> Aside from mklinux, there is the L4Linux option, based on a more modern
> microkernel than Mach, and supporting x86.
> 
> See http://www.l4ka.org/projects/l4linux/

For folks interested in developing/testing various fast boot or possible
future kernel hot swap projects, there is a mailing list here:

http://lists.osdl.org/mailman/listinfo/fastboot

Steven


-
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/