diff options
author | gnn <gnn@FreeBSD.org> | 2014-12-02 19:55:43 +0000 |
---|---|---|
committer | gnn <gnn@FreeBSD.org> | 2014-12-02 19:55:43 +0000 |
commit | d5b2a401e7c0799f096aa2c6ec7e547187fc2a00 (patch) | |
tree | bad16319e1e3db607395de5c6aa88e1e11d601bb /sys/pc98 | |
parent | 06ec023b0b73e1071a281374ec2de8097b9acc3f (diff) | |
download | FreeBSD-src-d5b2a401e7c0799f096aa2c6ec7e547187fc2a00.zip FreeBSD-src-d5b2a401e7c0799f096aa2c6ec7e547187fc2a00.tar.gz |
This configuration file removes several debugging options, including
WITNESS and INVARIANTS checking, which are known to have significant
performance impact on running systems. When benchmarking new features
this kernel should be used instead of the standard GENERIC.
This kernel configuration should never appear outside of the HEAD
of the FreeBSD tree.
Diffstat (limited to 'sys/pc98')
-rw-r--r-- | sys/pc98/conf/GENERIC-NODEBUG | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/sys/pc98/conf/GENERIC-NODEBUG b/sys/pc98/conf/GENERIC-NODEBUG new file mode 100644 index 0000000..7863b44 --- /dev/null +++ b/sys/pc98/conf/GENERIC-NODEBUG @@ -0,0 +1,38 @@ +# +# GENERIC-NODEBUG -- WITNESS and INVARIANTS free kernel configuration file +# for FreeBSD/pc98 +# +# This configuration file removes several debugging options, including +# WITNESS and INVARIANTS checking, which are known to have significant +# performance impact on running systems. When benchmarking new features +# this kernel should be used instead of the standard GENERIC. +# This kernel configuration should never appear outside of the HEAD +# of the FreeBSD tree. +# +# For more information on this file, please read the config(5) manual page, +# and/or the handbook section on Kernel Configuration Files: +# +# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html +# +# The handbook is also available locally in /usr/share/doc/handbook +# if you've installed the doc distribution, otherwise always see the +# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the +# latest information. +# +# An exhaustive list of options and more detailed explanations of the +# device lines is also present in the ../../conf/NOTES and NOTES files. +# If you are in doubt as to the purpose or necessity of a line, check first +# in NOTES. +# +# $FreeBSD$ + +include GENERIC + +ident GENERIC-NODEBUG + +nooptions INVARIANTS +nooptions INVARIANT_SUPPORT +nooptions WITNESS +nooptions WITNESS_SKIPSPIN +nooptions DEADLKRES + |