New debug options.

2017-02-09 09:48:06 -05:00
parent 5f8b9f7ff4
commit 8435ba6436
6 changed files with 16 additions and 2 deletions
--- a/kern/conf/DUMBVM
+++ b/kern/conf/DUMBVM
@@ -3,7 +3,9 @@

 include conf/conf.kern		# get definitions of available options

-debug				# Compile with debug info.
+debug				# Compile with debug info and -Og.
+#debugonly			# Compile with debug info only (no -Og).
+#options hangman 		# Deadlock detection. (off by default)

 #
 # Device drivers for hardware.