Initial fix of upstream merge.

2017-02-09 10:09:30 -05:00
parent 93cc12e3f2 15abe49f09
commit a662851491
42 changed files with 828 additions and 74 deletions
--- a/kern/conf/conf.kern
+++ b/kern/conf/conf.kern
@@ -334,6 +334,9 @@ file      thread/synch.c
 file      thread/thread.c
 file      thread/threadlist.c

+defoption hangman
+optfile   hangman thread/hangman.c
+
 #
 # Process system
 #