From: Godmar Back 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