Hi,
> options PCIC_ISA_INTR_ALLOC_MASK=0xXXXX
> options PCIC_ISA_ALLOC_IOBASE=0x400
> options PCIC_ISA_ALLOC_IOSIZE=0xbff
Thanks, Stefan. This seems to be what I was looking for.
No more problems with switched off displays.
Ingolf