random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / open-boundary.c
index adf04d8cd26d8c7957f0d79d2719cae8c3d35a82..cc8ff8b4b37e0f594eb21bbd6980cdd130b84b47 100644 (file)
@@ -1,3 +1,6 @@
+/* Creates a file whose name spans the boundary between two pages.
+   This is valid, so it must succeed. */
+
 #include <syscall.h>
 #include "tests/userprog/boundary.h"
 #include "tests/lib.h"