random: Fix behavior of kernel option "-rs".

[pintos-anon] / doc / threads.tmpl

diff --git a/doc/threads.tmpl b/doc/threads.tmpl
index ce0ca75fc8f59e714ac65764003bd32cce7749ce..f87f464260a24657009c724b56815beef1857e29 100644 (file)
--- a/doc/threads.tmpl
+++ b/doc/threads.tmpl
@@ -1,9 +1,9 @@
-                       +--------------------+
-                       |        CS 140      |
-                       | PROJECT 1: THREADS |
-                       |   DESIGN DOCUMENT  |
-                       +--------------------+
-                                  
+            +--------------------+
+            |        CS 140      |
+            | PROJECT 1: THREADS |
+            |   DESIGN DOCUMENT  |
+            +--------------------+
+

 ---- GROUP ----
 
 >> Fill in the names and email addresses of your group members.
 ---- GROUP ----
 
 >> Fill in the names and email addresses of your group members.


@@ -19,10 +19,10 @@ FirstName LastName <email@domain.example>
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course
 
 >> Please cite any offline or online sources you consulted while
 >> preparing your submission, other than the Pintos documentation, course

->> text, and lecture notes.
+>> text, lecture notes, and course staff.

 
 

-                            ALARM CLOCK
-                            ===========
+                 ALARM CLOCK
+                 ===========

 
 ---- DATA STRUCTURES ----
 
 
 ---- DATA STRUCTURES ----
 


@@ -51,8 +51,8 @@ FirstName LastName <email@domain.example>
 >> A6: Why did you choose this design?  In what ways is it superior to
 >> another design you considered?
 
 >> A6: Why did you choose this design?  In what ways is it superior to
 >> another design you considered?
 

-                        PRIORITY SCHEDULING
-                        ===================
+             PRIORITY SCHEDULING
+             ===================

 
 ---- DATA STRUCTURES ----
 
 
 ---- DATA STRUCTURES ----
 


@@ -86,8 +86,8 @@ FirstName LastName <email@domain.example>
 >> B7: Why did you choose this design?  In what ways is it superior to
 >> another design you considered?
 
 >> B7: Why did you choose this design?  In what ways is it superior to
 >> another design you considered?
 

-                         ADVANCED SCHEDULER
-                         ==================
+              ADVANCED SCHEDULER
+              ==================

 
 ---- DATA STRUCTURES ----
 
 
 ---- DATA STRUCTURES ----
 


@@ -137,8 +137,8 @@ ticks   A   B   C   A   B   C   to run
 >> type and/or a set of functions or macros to manipulate fixed-point
 >> numbers, why did you do so?  If not, why not?
 
 >> type and/or a set of functions or macros to manipulate fixed-point
 >> numbers, why did you do so?  If not, why not?
 

-                          SURVEY QUESTIONS
-                          ================
+               SURVEY QUESTIONS
+               ================

 
 Answering these questions is optional, but it will help us improve the
 course in future quarters.  Feel free to tell us anything you
 
 Answering these questions is optional, but it will help us improve the
 course in future quarters.  Feel free to tell us anything you