From: Godmar Back <godmar@gmail.com>
Date: Thu, 28 Aug 2008 04:54:07 +0000 (+0000)
Subject: removed undefined nodes
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8109d27250429cb3385e9d1f740024c82f46025;p=pintos-anon

removed undefined nodes
---

diff --git a/doc/reference.texi b/doc/reference.texi
index cd2719f..ae61d62 100644
--- 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 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