Re: Hot kernel change

[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@xxxxxxxxxx> |    Why make M$-Bill richer & richer ?
Debian-related: <dirson@xxxxxxxxxx> |   Support Debian GNU/Linux:
Pro:    <yann.dirson@xxxxxxxxxxxxx> |  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@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/