Wording clarifications.

diff --git a/doc/threads.texi b/doc/threads.texi
index 2f42e3dc5979b8f8ab33fd79db7af020a285c932..28b87fadaca14d2e2a5f61c76cf9c1b6883c40ff 100644 (file)
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -499,7 +499,7 @@ have the priority scheduler working, except possibly for priority
 donation, before you start work on the advanced scheduler.
 
 You must write your code so that we can choose a scheduling algorithm
-policy at Pintos startup time.  By default, the round-robin scheduler
+policy at Pintos startup time.  By default, the priority scheduler
 must be active, but we must be able to choose the 4.4@acronym{BSD}
 scheduler
 with the @option{-mlfqs} kernel option.  Passing this
@@ -512,6 +512,8 @@ directly control their own priorities.  The @var{priority} argument to
 @func{thread_set_priority}, and @func{thread_get_priority} should return
 the thread's current priority as set by the scheduler.
 
+The 4.4@acronym{BSD} scheduler does not implement priority donation.
+
 The advanced scheduler is not used in any later project.
 
 @node Project 1 FAQ