Messages in this thread | | | Subject | Re: Hot kernel change | From | Steven Cole <> | Date | Fri, 02 Apr 2004 09:45:16 -0700 |
| |
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/
| |