Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S263168AbUDBQOd (ORCPT ); Fri, 2 Apr 2004 11:14:33 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S263281AbUDBQOd (ORCPT ); Fri, 2 Apr 2004 11:14:33 -0500 Received: from smtp4.wanadoo.fr ([193.252.22.27]:6761 "EHLO mwinf0402.wanadoo.fr") by vger.kernel.org with ESMTP id S263168AbUDBQOc (ORCPT ); Fri, 2 Apr 2004 11:14:32 -0500 Date: Fri, 2 Apr 2004 18:16:20 +0200 To: linux-kernel@vger.kernel.org Subject: Re: Hot kernel change Message-ID: <20040402161620.GH22205@bylbo.nowhere.earth> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5.1+cvs20040105i From: Yann Dirson Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 943 Lines: 21 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 | Why make M$-Bill richer & richer ? Debian-related: | Support Debian GNU/Linux: Pro: | Freedom, Power, Stability, Gratuity http://ydirson.free.fr/ | Check - 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/