xref: /freebsd/sys/arm/conf/GENERIC-NODEBUG (revision 8a8daeafaf7094fd6e65f93fa4e7687591e23fc2)
1c31654c5SEmmanuel Vadot#
2c31654c5SEmmanuel Vadot# GENERIC-NODEBUG -- WITNESS and INVARIANTS free kernel configuration file
3c31654c5SEmmanuel Vadot#		     for FreeBSD/arm
4c31654c5SEmmanuel Vadot#
5c31654c5SEmmanuel Vadot# This configuration file removes several debugging options, including
6c31654c5SEmmanuel Vadot# WITNESS and INVARIANTS checking, which are known to have significant
7c31654c5SEmmanuel Vadot# performance impact on running systems.  When benchmarking new features
8c31654c5SEmmanuel Vadot# this kernel should be used instead of the standard GENERIC.
9c31654c5SEmmanuel Vadot# This kernel configuration should never appear outside of the HEAD
10c31654c5SEmmanuel Vadot# of the FreeBSD tree.
11c31654c5SEmmanuel Vadot#
12c31654c5SEmmanuel Vadot# For more information on this file, please read the config(5) manual page,
13c31654c5SEmmanuel Vadot# and/or the handbook section on Kernel Configuration Files:
14c31654c5SEmmanuel Vadot#
15c1a14887SCeri Davies#    https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
16c31654c5SEmmanuel Vadot#
17c31654c5SEmmanuel Vadot# The handbook is also available locally in /usr/share/doc/handbook
18c31654c5SEmmanuel Vadot# if you've installed the doc distribution, otherwise always see the
19a2aef24aSEitan Adler# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
20c31654c5SEmmanuel Vadot# latest information.
21c31654c5SEmmanuel Vadot#
22c31654c5SEmmanuel Vadot# An exhaustive list of options and more detailed explanations of the
23c31654c5SEmmanuel Vadot# device lines is also present in the ../../conf/NOTES and NOTES files.
24c31654c5SEmmanuel Vadot# If you are in doubt as to the purpose or necessity of a line, check first
25c31654c5SEmmanuel Vadot# in NOTES.
26c31654c5SEmmanuel Vadot#
27c31654c5SEmmanuel Vadot
28c31654c5SEmmanuel Vadotinclude GENERIC
29*8a8daeafSLexi Winterinclude "std.nodebug"
30c31654c5SEmmanuel Vadot
31c31654c5SEmmanuel Vadotident   GENERIC-NODEBUG
32