> options         PCIC_ISA_INTR_ALLOC_MASK=3D0xfdff
> options         PCIC_ISA_ALLOC_IOBASE=3D0x400
> options         PCIC_ISA_ALLOC_IOSIZE=3D0x080
>
> [...]
>
> Perhaps there should be a way of getting these options set to
> values typed in by the user at boot time, especially for the
> INSTALL and GENERIC kernels.  Or, if there is already a way to
> do this (is DDB in the INSTALL kernel?) perhaps it should be
> documented in the install information, particularly for these
> options on i386 laptops.

As for DDB in the INSTALL kernel -- if it's not there it will
most probably be there shortly (with DDB_ONPANIC set to 0, to
minimize confusion).  This is now possible since we're no longer
limited to a single boot floppy.  Perhaps that should/could be
done for the GENERIC kernel too?

That ought to make it possible to boot the INSTALL kernel with
"boot -d" and twiddle the variables corresponding to the config
options above.  Maybe not the most elegant method to acheive the
desired effect, but better than nothing.

> (I'm assuming that a general solution to avoid having to
> especially configure kernels for these three options is
> unlikely anytime soon.)

It's been discussed, and if my memory doesn't fail me the
conclusion was that there are too many different laptops which
allocate interrupts differently, so a common kernel which worked
everywhere would be difficult.  Someone mentioned that the BIOS
could be queried for available interrupts, but as far as I know
we don't have code to do that (yet ;-).

- H=E5vard