On Tue, Jul 25, 2000 at 08:12:43AM -0700, Me wrote:
> --- Kalle Niemitalo <[EMAIL PROTECTED]> wrote:
> > On Mon, Jul 24, 2000 at 08:56:59PM -0700, Me wrote:
> > > So my question is are the drivers in serverboot.gz
> > or
> > > gnumach?
> >
> > Device drivers are in GNUmach.  You can
> > enable/disable them with options
> > to "configure".
> 
> Seems i'm completly missing the point here.  So
> GNUMach has the drivers for
> but serverboot.gz controls which ones are activated? 
> I see a little
> advantage here, but this sounds monolithic in my very
> naive eyes.

Uh, serverboot bootstraps the Hurd servers.

The hardware drivers are indeed in GNU Mach. Take the time to find out what
else is or is not in GNU Mach.

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],     [EMAIL PROTECTED]    PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/       [EMAIL PROTECTED]

Reply via email to