In article <20050701195204.D9B313BFE3A@berkshire.machshav.com> you wrote:
> (Aside: I build my kernels via a #include of the GENERIC, plus
> a few custom additions.  Is there any way to explicitly delete a device
> from an included file -- something like 'no acpi0 at mainbus0'?

options(4) documents things like:

	no eisa0        at mainbus?
	no mca0         at mainbus?

but config(8) says:

	GENERIC.MPACPI-HF:14: `eisa0' at `mainbus?': device deletion not implemented
	GENERIC.MPACPI-HF:15: `mca0' at `mainbus?': device deletion not implemented

Someone please implement! :)

With that, we could keep one GENERIC/INSTALL config file for each port, 
and then base all GENERIC*/INSTALL* files on that, instead of the existing 
copy/modify/forget-to-update situation.


 - Hubert