diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-04 18:46:42 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-09 09:34:51 +0100 |
commit | 8c4d15d5b824fd02bd6909f6d254828732f3bb7b (patch) | |
tree | c5d9448587d673d2c211b26c459868e19bc62c5c /chips | |
parent | 8214da0d2e0e6f01b17c9d1dc1608f0ec3cf3be4 (diff) |
kern: provide notifications about new tasks
These notifications are sent to the port registered via
`register_new_task_notification' and provide a robust parental
relation between tasks to a userspace server.
* Makefrag.am: Add task_notify.defs.
* include/mach/gnumach.defs: Add register_new_task_notification.
* include/mach/task_notify.defs: New file.
* kern/task.c (new_task_notification): New variable.
(task_create): Send new task notifications.
(register_new_task_notification): Add server function.
* kern/task_notify.cli: New file.
Diffstat (limited to 'chips')
0 files changed, 0 insertions, 0 deletions