NOTES (42402) | NOTES (42408) |
---|---|
1# 2# LINT -- config file for checking all the sources, tries to pull in 3# as much of the source tree as it can. 4# | 1# 2# LINT -- config file for checking all the sources, tries to pull in 3# as much of the source tree as it can. 4# |
5# $Id: LINT,v 1.526 1999/01/01 08:09:57 peter Exp $ | 5# $Id: LINT,v 1.527 1999/01/08 16:04:18 eivind Exp $ |
6# 7# NB: You probably don't want to try running a kernel built from this 8# file. Instead, you should start from GENERIC, and add options from 9# this file as required. 10# 11 12# 13# This directive is mandatory; it defines the architecture to be --- 272 unchanged lines hidden (view full) --- 286options GDB_REMOTE_CHAT 287 288# 289# KTRACE enables the system-call tracing facility ktrace(2). 290# 291options KTRACE #kernel tracing 292 293# | 6# 7# NB: You probably don't want to try running a kernel built from this 8# file. Instead, you should start from GENERIC, and add options from 9# this file as required. 10# 11 12# 13# This directive is mandatory; it defines the architecture to be --- 272 unchanged lines hidden (view full) --- 286options GDB_REMOTE_CHAT 287 288# 289# KTRACE enables the system-call tracing facility ktrace(2). 290# 291options KTRACE #kernel tracing 292 293# |
294# The DIAGNOSTIC option is used in a number of source files to enable | 294# The INVARIANTS option is used in a number of source files to enable |
295# extra sanity checking of internal structures. This support is not 296# enabled by default because of the extra time it would take to check 297# for these conditions, which can only occur as a result of 298# programming errors. 299# | 295# extra sanity checking of internal structures. This support is not 296# enabled by default because of the extra time it would take to check 297# for these conditions, which can only occur as a result of 298# programming errors. 299# |
300options INVARIANTS 301 302# 303# The INVARIANT_SUPPORT option makes us compile in support for 304# verifying some of the internal structures. It is a prerequisite for 305# 'INVARIANTS', as enabling 'INVARIANTS' will make these functions be 306# called. The intent is that you can set 'INVARIANTS' for single 307# source files (by changing the source file or specifying it on the 308# command line) if you have 'INVARIANT_SUPPORT' enabled. 309# 310options INVARIANT_SUPPORT 311 312# 313# The DIAGNOSTIC option is used to enable extra debugging information 314# from some parts of the kernel. As this makes everything more noisy, 315# it is disabled by default. 316# |
|
300options DIAGNOSTIC 301 302# 303# PERFMON causes the driver for Pentium/Pentium Pro performance counters 304# to be compiled. See perfmon(4) for more information. 305# 306options PERFMON 307 --- 1554 unchanged lines hidden (view full) --- 1862options "SHMMAX=(SHMMAXPGS*PAGE_SIZE+1)" 1863options SHMMAXPGS=1025 1864options SHMMIN=2 1865options SHMMNI=33 1866options SHMSEG=9 1867options SI_DEBUG 1868options SIMPLELOCK_DEBUG 1869options SPX_HACK | 317options DIAGNOSTIC 318 319# 320# PERFMON causes the driver for Pentium/Pentium Pro performance counters 321# to be compiled. See perfmon(4) for more information. 322# 323options PERFMON 324 --- 1554 unchanged lines hidden (view full) --- 1879options "SHMMAX=(SHMMAXPGS*PAGE_SIZE+1)" 1880options SHMMAXPGS=1025 1881options SHMMIN=2 1882options SHMMNI=33 1883options SHMSEG=9 1884options SI_DEBUG 1885options SIMPLELOCK_DEBUG 1886options SPX_HACK |
1887options VFS_BIO_DEBUG |
|
1870 1871# The 'dpt' driver provides support for DPT controllers (http://www.dpt.com/). 1872# These have hardware RAID-{0,1,5} support, and do multi-initiator I/O. 1873# The DPT controllers are commonly re-licensed under other brand-names - 1874# some controllers by Olivetti, Dec, HP, AT&T, SNI, AST, Alphatronic, NEC and 1875# Compaq are actually DPT controllers. 1876# 1877# See sys/dev/dpt for debugging and other subtle options. --- 82 unchanged lines hidden --- | 1888 1889# The 'dpt' driver provides support for DPT controllers (http://www.dpt.com/). 1890# These have hardware RAID-{0,1,5} support, and do multi-initiator I/O. 1891# The DPT controllers are commonly re-licensed under other brand-names - 1892# some controllers by Olivetti, Dec, HP, AT&T, SNI, AST, Alphatronic, NEC and 1893# Compaq are actually DPT controllers. 1894# 1895# See sys/dev/dpt for debugging and other subtle options. --- 82 unchanged lines hidden --- |