From 1e0634f3603c5c294d7f10b4b285d704c6d2204a Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 16 Oct 2014 18:15:32 +0200
Subject: add patch series

---
 ...-kern-inherit-the-name-of-the-parent-task.patch | 31 ++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch

(limited to 'debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch')

diff --git a/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
new file mode 100644
index 0000000..514ee94
--- /dev/null
+++ b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
@@ -0,0 +1,31 @@
+From 2e463d850c1a616dd72dc3721d8ba012c5fbca88 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Thu, 16 Oct 2014 18:13:39 +0200
+Subject: [PATCH gnumach] kern: inherit the name of the parent task
+
+* kern/task.c (task_create): Inherit the name of the parent task.
+---
+ kern/task.c | 7 ++++++-
+ 1 file changed, 6 insertions(+), 1 deletion(-)
+
+diff --git a/kern/task.c b/kern/task.c
+index 20acc6a..214db16 100644
+--- a/kern/task.c
++++ b/kern/task.c
+@@ -167,7 +167,12 @@ kern_return_t task_create(
+ 	}
+ #endif	/* FAST_TAS */
+ 
+-	snprintf (new_task->name, sizeof new_task->name, "%p", new_task);
++	if (parent_task == TASK_NULL)
++		snprintf (new_task->name, sizeof new_task->name, "%p",
++			  new_task);
++	else
++		snprintf (new_task->name, sizeof new_task->name, "(%s)",
++			  parent_task->name);
+ 
+ 	ipc_task_enable(new_task);
+ 
+-- 
+2.1.1
+
-- 
cgit v1.2.3