On Thu, 19 Aug 1999, Pablo Baena wrote: > On Sat, Aug 21, 1999 at 01:32:12AM +0200, David L�zaro wrote: > > I remmeber reading something about deprecating GNU Mach in the future. > > Is this true? Could somebody give a hint about what the next official > > microkernel will be? > > As far as I know, people is working on using mach since a long long time, > (7 years?), so I'm afraid that we will have to wait again a long time > before we had Hurd up and running with another kernel.
The theory is that Hurd should be fairly readily portable to another microkernel. As a matter of fact, I'm looking into a possible replacement atm, so we may get the opportunity to try the theory out ;-) Matthew
