lkml.org 
[lkml]   [2004]   [Apr]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: Hot kernel change
From
Date
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/

\
 
 \ /
  Last update: 2005-03-22 14:02    [W:0.022 / U:0.136 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site