random: Fix behavior of kernel option "-rs".
[pintos-anon] / threads /
drwxr-xr-x   ..
-rw-r--r-- 3189 p1-1.c
-rw-r--r-- 2273 p1-2.c
-rw-r--r-- 2868 p1-3.c
-rw-r--r-- 3025 p1-4.c