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.
---
 kern/task_notify.cli | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 kern/task_notify.cli

(limited to 'kern/task_notify.cli')

diff --git a/kern/task_notify.cli b/kern/task_notify.cli
new file mode 100644
index 00000000..c6c85d99
--- /dev/null
+++ b/kern/task_notify.cli
@@ -0,0 +1,7 @@
+/* XXX */
+
+/* This is a client presentation file.  */
+
+#define KERNEL_USER 1
+
+#include <mach/task_notify.defs>
-- 
cgit v1.2.3