From 4de65867c5a044af4ad6e92d4fbbbc0f3d6905db Mon Sep 17 00:00:00 2001
From: Geoffrey Challen <challen@buffalo.edu>
Date: Thu, 9 Feb 2017 10:29:35 -0500
Subject: [PATCH] Disable hangman option by default.

---
 kern/conf/DUMBVM | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kern/conf/DUMBVM b/kern/conf/DUMBVM
index d658cf6..435603e 100644
--- a/kern/conf/DUMBVM
+++ b/kern/conf/DUMBVM
@@ -5,7 +5,7 @@ include conf/conf.kern		# get definitions of available options
 
 debug				# Compile with debug info and -Og.
 #debugonly			# Compile with debug info only (no -Og).
-options hangman 		# Deadlock detection. (off by default)
+#options hangman 		# Deadlock detection. (off by default)
 
 #
 # Device drivers for hardware.