PKUOS - Pintos
Pintos source browser for PKU Operating System course
rox-child.c
Go to the documentation of this file.
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"