Crossport 1.2.4.1 into main.

diff --git a/grading/userprog/review.txt b/grading/userprog/review.txt
index c48657e1898666fd1d3a805bcd8248be1cb9560a..29ed26b0e52e5de9b018d6081dc11421da9bed3b 100644 (file)
--- a/grading/userprog/review.txt
+++ b/grading/userprog/review.txt
@@ -27,8 +27,8 @@ Program arguments:
 
 User/kernel copying:
   -5 Too many copies of user/kernel copying code
-  -10 Doesn't check for page boundaries
-  -3 Imperfect checking for page boundaries
+  -20 Doesn't check for page boundaries
+  -10 Imperfect checking for page boundaries
   -5 Doesn't check whether pointers are at or above PHYS_BASE
   -2 Imperfect checking whether pointers are at or above PHYS_BASE
   +3 Copies large chunks while properly observing page boundaries