From 8c4d15d5b824fd02bd6909f6d254828732f3bb7b Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 4 Nov 2014 18:46:42 +0100
Subject: 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.
---
 Makefrag.am | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'Makefrag.am')

diff --git a/Makefrag.am b/Makefrag.am
index 5e98b21..410f56d 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 \
-- 
cgit v1.2.3