[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
signature.asc
Description: Digital signature
- GNU Mach: enabling all (working) device drivers by default?, Thomas Schwinge, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Richard Braun, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Michael Banck, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Samuel Thibault, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Thomas Schwinge, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Thomas Bushnell BSG, 2006/09/19
- Re: GNU Mach: enabling all (working) device drivers by default?, Thomas Schwinge, 2006/09/19