1#
2# GENERIC-KCSAN -- Kernel Concurrency Sanitizer kernel configuration file
3#		   for FreeBSD/amd64
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://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
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
28include GENERIC
29
30ident   GENERIC-KCSAN
31
32options 	KCSAN
33