From 8bf4a32d61fa334488e799c777158b1f62f9828b Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 27 Oct 2004 01:48:42 +0000 Subject: [PATCH] Clarifications. --- doc/userprog.texi | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.30.2