diff options
| author | nate <nate@FreeBSD.org> | 1997-01-13 05:21:09 +0000 |
|---|---|---|
| committer | nate <nate@FreeBSD.org> | 1997-01-13 05:21:09 +0000 |
| commit | 2448afb887b0366987b8b7408169c75a4e4b6c75 (patch) | |
| tree | 3911d844774b7a0a6c214c6f92f6ac56ac90e70a /sys | |
| parent | da7715db04f4b6fa2a8bc1e5547a9cf3f8647624 (diff) | |
| download | FreeBSD-src-2448afb887b0366987b8b7408169c75a4e4b6c75.zip FreeBSD-src-2448afb887b0366987b8b7408169c75a4e4b6c75.tar.gz | |
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
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/conf/NOTES | 5 | ||||
| -rw-r--r-- | sys/i386/conf/LINT | 5 | ||||
| -rw-r--r-- | sys/i386/conf/NOTES | 5 |
3 files changed, 12 insertions, 3 deletions
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 |
