Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 3 Aug 2017 19:01:46 +0000 (UTC)
From:      Emmanuel Vadot <manu@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   svn commit: r322027 - head/sys/arm/conf
Message-ID:  <201708031901.v73J1ke9087529@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: manu
Date: Thu Aug  3 19:01:46 2017
New Revision: 322027
URL: https://svnweb.freebsd.org/changeset/base/322027

Log:
  arm: Add a GENERIC-NODEBUG kernel config
  
  Like amd64 or arm64 provide a GENERIC-NODEBUG configuration file that
  remove WITNESS and INVARIANTS etc ...

Added:
  head/sys/arm/conf/GENERIC-NODEBUG   (contents, props changed)

Added: head/sys/arm/conf/GENERIC-NODEBUG
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/sys/arm/conf/GENERIC-NODEBUG	Thu Aug  3 19:01:46 2017	(r322027)
@@ -0,0 +1,40 @@
+#
+# GENERIC-NODEBUG -- WITNESS and INVARIANTS free kernel configuration file 
+#		     for FreeBSD/arm
+#
+# 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       BUF_TRACKING
+nooptions       DEADLKRES
+nooptions       FULL_BUF_TRACKING
+



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201708031901.v73J1ke9087529>