From f367cf9633648fc06e3ec4493d07bbcec8c4d835 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 25 Feb 2015 16:29:30 +0100
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..cdf659f
--- /dev/null
+++ b/debian/patches/0001-kern-inherit-the-name-of-the-parent-task.patch
@@ -0,0 +1,31 @@
+From fe820bd2e22e5a0b5aa5bd50de3b06759e42af78 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 a11fb8e..57e7f41 100644
+--- a/kern/task.c
++++ b/kern/task.c
+@@ -171,7 +171,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)",
++			  sizeof new_task->name - 3, parent_task->name);
+ 
+ 	if (new_task_notification != NULL) {
+ 		task_reference (new_task);
+-- 
+2.1.4
+
-- 
cgit v1.2.3