If a driver is redundant, then we have no need to care about it. If a driver doesn't work, we should not include it.
If a driver doesn't work, then it should be fixed. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
