projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon]
/
doc
/
userprog.tmpl
diff --git
a/doc/userprog.tmpl
b/doc/userprog.tmpl
index 1cf7ed7aca78c70366863f15dfc2737ea9b043ec..a489303091491fc57d545ebb998019f396329043 100644
(file)
--- a/
doc/userprog.tmpl
+++ b/
doc/userprog.tmpl
@@
-19,7
+19,7
@@
FirstName LastName <email@domain.example>
>> Please cite any offline or online sources you consulted while
>> preparing your submission, other than the Pintos documentation, course
->> text,
and lecture notes
.
+>> text,
lecture notes, and course staff
.
ARGUMENT PASSING
================