X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=e3df2e6efd98a24998d1b23402b17928c0f166d9;hb=refs%2Fheads%2Fusb-integration-aug08;hp=c5d6329996766befe04b93f0aafbde860f2a5ff5;hpb=8fff557107b6a3efec0000ce98904450c1de3648;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index c5d6329..e3df2e6 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -121,7 +121,7 @@ this code or modify it.
 @item start.S
 Does basic setup needed for memory protection and 32-bit
 operation on 80@var{x}86 CPUs.  Unlike the loader, this code is
-actually part of the kernel.  @xref{Low-Level Kernel Initialization},
+actually part of the kernel.  @xref{Kernel Initialization},
 for details.
 
 @item kernel.lds.S
@@ -136,7 +136,7 @@ or modify it, but it's here in case you're curious.
 Kernel initialization, including @func{main}, the kernel's ``main
 program.''  You should look over @func{main} at least to see what
 gets initialized.  You might want to add your own initialization code
-here.  @xref{High-Level Kernel Initialization}, for details.
+here.  @xref{Kernel Initialization}, for details.
 
 @item thread.c
 @itemx thread.h