From 2448afb887b0366987b8b7408169c75a4e4b6c75 Mon Sep 17 00:00:00 2001 From: nate Date: Mon, 13 Jan 1997 05:21:09 +0000 Subject: Added options 'LINT_PCCARD_HACK' which (will very soon) allow LINT to compile again. The code to protect users from combining the dedicated PCCARD drivers and the generic code is a warning if the above option is included in the config file. Demanded by: bde --- sys/conf/NOTES | 5 ++++- sys/i386/conf/LINT | 5 ++++- sys/i386/conf/NOTES | 5 ++++- 3 files changed, 12 insertions(+), 3 deletions(-) (limited to 'sys') diff --git a/sys/conf/NOTES b/sys/conf/NOTES index 990f087..6498c05 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.301 1996/12/23 18:23:14 bde Exp $ +# $Id: LINT,v 1.302 1996/12/23 19:04:20 bde Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -729,6 +729,9 @@ device ix0 at isa? port 0x300 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr device lnc0 at isa? port 0x300 net irq 10 drq 0 vector lncintr device sr0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector srintr +# Needed so that we can (bogusly) include both the dedicated PCCARD +# drivers and the generic support +options LINT_PCCARD_HACK device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr device zp0 at isa? port 0x300 net irq 10 iomem 0xd8000 vector zpintr diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT index 990f087..6498c05 100644 --- a/sys/i386/conf/LINT +++ b/sys/i386/conf/LINT @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.301 1996/12/23 18:23:14 bde Exp $ +# $Id: LINT,v 1.302 1996/12/23 19:04:20 bde Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -729,6 +729,9 @@ device ix0 at isa? port 0x300 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr device lnc0 at isa? port 0x300 net irq 10 drq 0 vector lncintr device sr0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector srintr +# Needed so that we can (bogusly) include both the dedicated PCCARD +# drivers and the generic support +options LINT_PCCARD_HACK device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr device zp0 at isa? port 0x300 net irq 10 iomem 0xd8000 vector zpintr diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index 990f087..6498c05 100644 --- a/sys/i386/conf/NOTES +++ b/sys/i386/conf/NOTES @@ -2,7 +2,7 @@ # LINT -- config file for checking all the sources, tries to pull in # as much of the source tree as it can. # -# $Id: LINT,v 1.301 1996/12/23 18:23:14 bde Exp $ +# $Id: LINT,v 1.302 1996/12/23 19:04:20 bde Exp $ # # NB: You probably don't want to try running a kernel built from this # file. Instead, you should start from GENERIC, and add options from @@ -729,6 +729,9 @@ device ix0 at isa? port 0x300 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr device lnc0 at isa? port 0x300 net irq 10 drq 0 vector lncintr device sr0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector srintr +# Needed so that we can (bogusly) include both the dedicated PCCARD +# drivers and the generic support +options LINT_PCCARD_HACK device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr device zp0 at isa? port 0x300 net irq 10 iomem 0xd8000 vector zpintr -- cgit v1.1