From 35c6f6209e4b61bd62ef43ffe738e52379788076 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 24 Jan 2008 18:49:45 +0000 Subject: [PATCH] Fix typos. Reported by Valentin I. Spitkovsky . --- doc/reference.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/reference.texi b/doc/reference.texi index 3b28d3b..bcdcd63 100644 --- a/doc/reference.texi +++ b/doc/reference.texi @@ -100,7 +100,7 @@ arranged to begin with the assembly module @func{main}, which never returns. There's one more trick: the Pintos kernel command line -is in stored the boot loader. The @command{pintos} program actually +is stored in the boot loader. The @command{pintos} program actually modifies a copy of the boot loader on disk each time it runs the kernel, putting in whatever command line arguments the user supplies to the kernel, @@ -148,7 +148,7 @@ prerequisite for acquiring a lock, and lock acquisition in turn is important to other Pintos subsystems. Then we initialize the console and print a startup message to the console. -The next block of functions we call initialize the kernel's memory +The next block of functions we call initializes the kernel's memory system. @func{palloc_init} sets up the kernel page allocator, which doles out memory one or more pages at a time (@pxref{Page Allocator}). @func{malloc_init} sets -- 2.30.2