11d307cc8SPiotr Kubaj# 21d307cc8SPiotr Kubaj# GENERIC64LE-NODEBUG -- WITNESS and INVARIANTS free kernel configuration file 31d307cc8SPiotr Kubaj# for FreeBSD/powerpc 41d307cc8SPiotr Kubaj# 51d307cc8SPiotr Kubaj# This configuration file removes several debugging options, including 61d307cc8SPiotr Kubaj# WITNESS and INVARIANTS checking, which are known to have significant 71d307cc8SPiotr Kubaj# performance impact on running systems. When benchmarking new features 81d307cc8SPiotr Kubaj# this kernel should be used instead of the standard GENERIC64LE. 91d307cc8SPiotr Kubaj# This kernel configuration should never appear outside of the HEAD 101d307cc8SPiotr Kubaj# of the FreeBSD tree. 111d307cc8SPiotr Kubaj# 121d307cc8SPiotr Kubaj# For more information on this file, please read the config(5) manual page, 131d307cc8SPiotr Kubaj# and/or the handbook section on Kernel Configuration Files: 141d307cc8SPiotr Kubaj# 151d307cc8SPiotr Kubaj# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config 161d307cc8SPiotr Kubaj# 171d307cc8SPiotr Kubaj# The handbook is also available locally in /usr/share/doc/handbook 181d307cc8SPiotr Kubaj# if you've installed the doc distribution, otherwise always see the 191d307cc8SPiotr Kubaj# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the 201d307cc8SPiotr Kubaj# latest information. 211d307cc8SPiotr Kubaj# 221d307cc8SPiotr Kubaj# An exhaustive list of options and more detailed explanations of the 231d307cc8SPiotr Kubaj# device lines is also present in the ../../conf/NOTES and NOTES files. 241d307cc8SPiotr Kubaj# If you are in doubt as to the purpose or necessity of a line, check first 251d307cc8SPiotr Kubaj# in NOTES. 261d307cc8SPiotr Kubaj# 271d307cc8SPiotr Kubaj 281d307cc8SPiotr Kubajinclude GENERIC64LE 29*8a8daeafSLexi Winterinclude "std.nodebug" 301d307cc8SPiotr Kubaj 311d307cc8SPiotr Kubajident GENERIC64LE-NODEBUG 32