removed undefined nodes

diff --git a/doc/reference.texi b/doc/reference.texi
index cd2719fdf315ea7f951a6ed99b181b840af9fd5d..ae61d6293215aad35d92f793a2e4f2261ae47f7e 100644 (file)
--- a/doc/reference.texi
+++ b/doc/reference.texi
@@ -29,8 +29,7 @@ initialization.
 
 @menu
 * Pintos Loader::               
-* Low-Level Kernel Initialization::
-* High-Level Kernel Initialization::
+* Kernel Initialization::
 * Physical Memory Map::
 @end menu
 

diff --git a/doc/threads.texi b/doc/threads.texi
index c5d6329996766befe04b93f0aafbde860f2a5ff5..e3df2e6efd98a24998d1b23402b17928c0f166d9 100644 (file)
--- 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