Re: Hot kernel change

Yann Dirson
2004-04-02T16:14:33Z

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