[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GNU Mach: enabling all (working) device drivers by default?

From: Richard Braun
Subject: Re: GNU Mach: enabling all (working) device drivers by default?
Date: Tue, 19 Sep 2006 15:36:20 +0200
User-agent: Mutt/1.5.9i

On Tue, Sep 19, 2006 at 03:28:38PM +0200, Thomas Schwinge wrote:
> Michael, Richard, Samuel: thanks for the quick input.  I can understand
> your concerns and would like to propose adding the following to the
> configure options:
> #v+
>   --disable-default-device-drivers
>                           have all device drivers disabled that can be
>                           disabled and would otherwise have been enabled by
>                           default; then use the `--enable-*' options to enable
>                           only those you actually want to have enabled
> #v-
> Does that sound alright?

AIUI, using this option allows us to build GNU Mach as we do now.
If that's correct, then I don't mind such a change.

> Another issue: I intend to remove all the device driver name aliases from
> i386/linux/configure, for example morph...


> Any comments or objections with respect to that?

No, it's fine.

Richard Braun

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]