+ Fix misplacement of `txp'

+ Document our -CURRENT debugging bits
This commit is contained in:
David E. O'Brien 2001-09-24 03:23:48 +00:00
parent 1e60617bfd
commit 090905a55c
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=83872
7 changed files with 31 additions and 31 deletions

View File

@ -70,10 +70,10 @@ options P1003_1B #Posix P1003_1B real-time extentions
options _KPOSIX_PRIORITY_SCHEDULING
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# To make an SMP kernel, the next line is needed
#options SMP # Symmetric MultiProcessor Kernel
@ -140,8 +140,8 @@ device ppi # Parallel port interface device
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device le # Lance
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
device miibus # MII bus support

View File

@ -70,10 +70,10 @@ options P1003_1B #Posix P1003_1B real-time extentions
options _KPOSIX_PRIORITY_SCHEDULING
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# To make an SMP kernel, the next line is needed
#options SMP # Symmetric MultiProcessor Kernel
@ -140,8 +140,8 @@ device ppi # Parallel port interface device
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device le # Lance
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
device miibus # MII bus support

View File

@ -55,10 +55,10 @@ options _KPOSIX_PRIORITY_SCHEDULING
options KBD_INSTALL_CDEV # install a CDEV entry in /dev
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# To make an SMP kernel, the next two are needed
#options SMP # Symmetric MultiProcessor Kernel
@ -160,8 +160,8 @@ device ppi # Parallel port interface device
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
# NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!

View File

@ -55,10 +55,10 @@ options _KPOSIX_PRIORITY_SCHEDULING
options KBD_INSTALL_CDEV # install a CDEV entry in /dev
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# To make an SMP kernel, the next two are needed
#options SMP # Symmetric MultiProcessor Kernel
@ -160,8 +160,8 @@ device ppi # Parallel port interface device
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
# NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!

View File

@ -54,10 +54,10 @@ options P1003_1B #Posix P1003_1B real-time extentions
options _KPOSIX_PRIORITY_SCHEDULING
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# Standard busses
device isa
@ -117,8 +117,8 @@ device ppi # Parallel port interface device
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
# NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!

View File

@ -60,10 +60,10 @@ options _KPOSIX_PRIORITY_SCHEDULING
options KBD_INSTALL_CDEV # install a CDEV entry in /dev
# Debugging for use in -current
options DDB
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
# To make an SMP kernel, the next two are needed
#options SMP # Symmetric MultiProcessor Kernel
@ -156,8 +156,8 @@ device olpt
# PCI Ethernet NICs.
device de # DEC/Intel DC21x4x (``Tulip'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
device txp # 3Com 3cR990 (``Typhoon'')
device vx # 3Com 3c590, 3c595 (``Vortex'')
# PCI Ethernet NICs that use the common MII bus controller code.
# NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!

View File

@ -36,7 +36,7 @@ options MD_ROOT #MD is a potential root device
options MD_ROOT_SIZE=64
# Debugging for use in -current
options DDB
options DDB #Enable the kernel debugger
# Pseudo devices - the number indicates how many units to allocate.
device md