diff options
| -rw-r--r-- | sys/conf/NOTES | 4 | ||||
| -rw-r--r-- | sys/i386/conf/LINT | 4 | ||||
| -rw-r--r-- | sys/i386/conf/NOTES | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index d2417a2..3eec979 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.437 1998/06/08 06:18:53 bde Exp $ +# $Id: LINT,v 1.438 1998/06/21 13:36:53 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 @@ -1420,7 +1420,7 @@ device nlpt0 at ppbus? device ppi0 at ppbus? device pps0 at ppbus? -controller ppc0 at isa? disable port ? irq 7 vector ppcintr +controller ppc0 at isa? disable port ? tty irq 7 vector ppcintr # Kernel BOOTP support diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT index d2417a2..3eec979 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.437 1998/06/08 06:18:53 bde Exp $ +# $Id: LINT,v 1.438 1998/06/21 13:36:53 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 @@ -1420,7 +1420,7 @@ device nlpt0 at ppbus? device ppi0 at ppbus? device pps0 at ppbus? -controller ppc0 at isa? disable port ? irq 7 vector ppcintr +controller ppc0 at isa? disable port ? tty irq 7 vector ppcintr # Kernel BOOTP support diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES index d2417a2..3eec979 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.437 1998/06/08 06:18:53 bde Exp $ +# $Id: LINT,v 1.438 1998/06/21 13:36:53 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 @@ -1420,7 +1420,7 @@ device nlpt0 at ppbus? device ppi0 at ppbus? device pps0 at ppbus? -controller ppc0 at isa? disable port ? irq 7 vector ppcintr +controller ppc0 at isa? disable port ? tty irq 7 vector ppcintr # Kernel BOOTP support |
