summaryrefslogtreecommitdiff
path: root/chips
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-04 18:46:42 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-09 09:34:51 +0100
commit8c4d15d5b824fd02bd6909f6d254828732f3bb7b (patch)
treec5d9448587d673d2c211b26c459868e19bc62c5c /chips
parent8214da0d2e0e6f01b17c9d1dc1608f0ec3cf3be4 (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