version 1.189, 2006/07/31 23:29:54 |
version 1.189.2.2, 2006/09/22 05:56:54 |
Line 45 options DDB_HISTORY_SIZE=512 # enable h |
|
Line 45 options DDB_HISTORY_SIZE=512 # enable h |
|
#options DIAGNOSTIC # extra kernel debugging checks |
#options DIAGNOSTIC # extra kernel debugging checks |
#options DEBUG # extra kernel debugging support |
#options DEBUG # extra kernel debugging support |
options KTRACE # system call tracing support |
options KTRACE # system call tracing support |
options SYSTRACE # system call vetting via systrace(1) |
#options SYSTRACE # system call vetting via systrace(1) |
options MSGBUFSIZE=8192 # dmesg buffer size |
options MSGBUFSIZE=8192 # dmesg buffer size |
|
|
## UVM options. |
## UVM options. |
Line 690 pseudo-device ksyms # /dev/ksyms |
|
Line 690 pseudo-device ksyms # /dev/ksyms |
|
#pseudo-device pflog # PF log if |
#pseudo-device pflog # PF log if |
|
|
# Veriexec |
# Veriexec |
#options VERIFIED_EXEC |
|
# |
# |
# a pseudo device needed for veriexec |
# a pseudo device needed for veriexec |
#pseudo-device veriexec 1 |
#pseudo-device veriexec 1 |