From d9816cf84ffb21ba549862bd3804ebff38ef11c6 Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Sun, 16 Apr 2017 13:35:11 +0200
Subject: [PATCH 160/325] Add ELECTRO_BEER_DEBUG kernel which is ELECTRO_BEER
 plus debug options

Obtained from: ElectroBSD
---
 sys/amd64/conf/ELECTRO_BEER_DEBUG | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 sys/amd64/conf/ELECTRO_BEER_DEBUG

diff --git a/sys/amd64/conf/ELECTRO_BEER_DEBUG b/sys/amd64/conf/ELECTRO_BEER_DEBUG
new file mode 100644
index 000000000000..22c1b306669a
--- /dev/null
+++ b/sys/amd64/conf/ELECTRO_BEER_DEBUG
@@ -0,0 +1,8 @@
+include ELECTRO_BEER
+
+ident		ELECTRO_BEER_DEBUG
+
+options 	INVARIANTS		# Enable calls of extra sanity checking
+options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
+options 	WITNESS			# Enable checks to detect deadlocks and cycles
+options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
-- 
2.32.0