diff options
| author | Felipe Cerqueira <felipec@mpi-sws.org> | 2013-02-12 11:45:17 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-08-07 03:46:53 -0400 |
| commit | 44bbdeefae36fd3926eeccce4e715d91d5ffe6a0 (patch) | |
| tree | 1fa3c348d27ae50204384aa02fcf00765691eacb /mm | |
| parent | a8ffcb17006ab6e278526ae8ab75d15fd08d030f (diff) | |
Hook into fork(), exec(), and exit()
Allow LITMUS^RT to do some work when a process is created or
terminated.
Diffstat (limited to 'mm')
0 files changed, 0 insertions, 0 deletions