sys/arm/conf/GENERIC-NODEBUG

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