random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / rox-child.c
1 /* Ensure that the executable of a running process cannot be
2    modified, even by a child process. */
3
4 #define CHILD_CNT "1"
5 #include "tests/userprog/rox-child.inc"