Clarifications.

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 525e8ced27e8699604c223a7996c4cd5bf9e5710..4f98ed71308c769f28eae01bca975b8f34e072d3 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -254,6 +254,10 @@ another reason.  The name printed should be the full name passed to
 @func{process_execute}, except that it is acceptable to truncate it to
 15 characters to allow for the limited space in @struct{thread}.
 
+Do not print a message when a kernel thread that is not a process
+terminates.  Do not print messages about process termination for the
+@code{halt} system call.
+
 @item
 Aside from this, the kernel should print out no other messages that
 Pintos as provided doesn't already print.  You