From: Ben Pfaff Date: Wed, 27 Oct 2004 01:48:42 +0000 (+0000) Subject: Clarifications. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=8bf4a32d61fa334488e799c777158b1f62f9828b Clarifications. --- 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