X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fuserprog.texi;h=4f98ed71308c769f28eae01bca975b8f34e072d3;hb=34aca1e752aac20b4ef152c3d991f094ad8291da;hp=525e8ced27e8699604c223a7996c4cd5bf9e5710;hpb=5979ba5edd96453f3658e58bdbd7686a4f4380e2;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 525e8ce..4f98ed7 100644
--- 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