Hello! On Tue, Sep 19, 2006 at 02:37:50PM +0200, Thomas Schwinge wrote: > What are people's feelings about having all (working) device drivers > enabled by default when configuring GNU Mach?
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?
Another issue: I intend to remove all the device driver name aliases from
i386/linux/configure, for example morph...
#v+
[...]
--enable-de100 enable driver alias de100 for depca
--enable-de101 enable driver alias de101 for depca
--enable-de200 enable driver alias de200 for depca
--enable-de201 enable driver alias de201 for depca
--enable-de202 enable driver alias de202 for depca
--enable-de210 enable driver alias de210 for depca
--enable-de422 enable driver alias de422 for depca
[...]
--enable-depca enable driver depca
[...]
#v-
... into...
#v+
[...]
--enable-depca enable driver depca (de100, de101, de200, de201,
de202, de210, de422)
[...]
#v-
Any comments or objections with respect to that?
Regards,
Thomas
signature.asc
Description: Digital signature
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
