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