Messages in this thread | | | Date | Fri, 2 Apr 2004 18:16:20 +0200 | Subject | Re: Hot kernel change | From | Yann Dirson <> |
| |
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/
-- Yann Dirson <ydirson@altern.org> | Why make M$-Bill richer & richer ? Debian-related: <dirson@debian.org> | Support Debian GNU/Linux: Pro: <yann.dirson@fr.alcove.com> | Freedom, Power, Stability, Gratuity http://ydirson.free.fr/ | Check <http://www.debian.org/> - 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/
| |