projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5e68c02
)
Reword paragraph.
author
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 28 Jun 2005 20:09:56 +0000
(20:09 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Tue, 28 Jun 2005 20:09:56 +0000
(20:09 +0000)
doc/intro.texi
patch
|
blob
|
history
diff --git
a/doc/intro.texi
b/doc/intro.texi
index 97037eb52473e4692674adbab2fc295cd54623fb..f22ba76e20b0a187e41002cba3b71cf8ec88e20a 100644
(file)
--- a/
doc/intro.texi
+++ b/
doc/intro.texi
@@
-478,9
+478,9
@@
Rosenblum.
Pintos originated as a replacement for Nachos with a similar design.
Since then Pintos has greatly diverged from the Nachos design. Pintos
differs from Nachos in two important ways. First, Pintos runs on real
Pintos originated as a replacement for Nachos with a similar design.
Since then Pintos has greatly diverged from the Nachos design. Pintos
differs from Nachos in two important ways. First, Pintos runs on real
-or simulated 80@var{x}86 hardware,
whereas
Nachos runs as a process on a
-host operating system. Second,
like most real-world operating systems,
-
Pintos is written in C, whereas
Nachos is written in C++.
+or simulated 80@var{x}86 hardware,
but
Nachos runs as a process on a
+host operating system. Second,
Pintos is written in C like most
+
real-world operating systems, but
Nachos is written in C++.
Why the name ``Pintos''? First, like nachos, pinto beans are a common
Mexican food. Second, Pintos is small and a ``pint'' is a small amount.
Why the name ``Pintos''? First, like nachos, pinto beans are a common
Mexican food. Second, Pintos is small and a ``pint'' is a small amount.