X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=377343d77323a114becf54644c9e011857e78d00;hb=0fd3a243b790dd1cfc9e0a40c57dddde56cf344d;hp=6eec6bb1ea5a44d1620b04faf8108b879d7ad5f1;hpb=ed04361f6ec91e4f0db1550c2cc487a461b2d17b;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 6eec6bb..377343d 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -240,6 +240,12 @@ serial drivers.
 Interrupt queue, for managing a circular queue that both kernel
 threads and interrupt handlers want to access.  Used by the keyboard
 and serial drivers.
+
+@item rtc.c
+@itemx rtc.h
+Real-time clock driver, to enable the kernel to determine the current
+date and time.  By default, this is only used by @file{thread/init.c}
+to choose an initial seed for the random number generator.
 @end table
 
 @node lib files
@@ -277,7 +283,11 @@ more information.
 
 @item random.c
 @itemx random.h
-Pseudo-random number generator.
+Pseudo-random number generator.  The actual sequence of random values
+will not vary from one Pintos run to another, unless you do one of
+three things: specify a new random seed value on the @option{-rs}
+kernel command-line option on each run, or use a simulator other than
+Bochs, or specify the @option{-r} option to @command{pintos}.
 
 @item round.h
 Macros for rounding.