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 /Makefrag.am | |
| 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 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefrag.am b/Makefrag.am index 5e98b219..410f56d6 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -364,6 +364,7 @@ include_mach_HEADERS = \ include/mach/mach.defs \ include/mach/mach4.defs \ include/mach/gnumach.defs \ + include/mach/task_notify.defs \ include/mach/mach_host.defs \ include/mach/mach_port.defs \ include/mach/mach_types.defs \ @@ -488,6 +489,13 @@ nodist_libkernel_a_SOURCES += \ # device/device_reply.user.defs # device/memory_object_reply.user.defs +nodist_lib_dep_tr_for_defs_a_SOURCES += \ + kern/task_notify.user.defs.c +nodist_libkernel_a_SOURCES += \ + kern/task_notify.user.h \ + kern/task_notify.user.c \ + kern/task_notify.user.msgids + # Server stubs. nodist_lib_dep_tr_for_defs_a_SOURCES += \ device/device.server.defs.c \ |