X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Freference.texi;h=bcdcd63324bca3b01efc4c32ba796de1bb9c1d0b;hp=3b28d3b6dc122cbef38a03eb23978464d69ce934;hb=39c5bd8a28cc4f2e95f5380439a521e57b53ffbf;hpb=18be77ca58ad1a721161bbd277a02d78828689c8

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