On Fri, Sep 03, 1999 at 09:46:10AM -0400, Guy's Account wrote: > On Wed, 1 Sep 1999, Michael Bacarella wrote: > > > But, I have no status here, so I can shut up now. > > I hope that 'status' is not important. Please don't shut up :).
No, status is not important. But deeds count even more than words :) Seriously, diversity is a nice thing. If people provide patches for support with other microkernels, that would be nice (check with Thomas first for how to do such patches). I would like to have multiple kernels in the Debian distribution, so you could choose which one you want ot run currently. I don't know hard it is to achieve this. Could Hurd be designed to run on different microkernels without recompilation? Is this even feasible? Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server Marcus Brinkmann GNU http://www.gnu.org for public PGP Key [EMAIL PROTECTED] PGP Key ID 36E7CD09 http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/
