From e4b4e64ba7d2679df6508f27ce75d90cba7f5cb5 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Mon, 9 Jun 2014 15:12:03 +0200
Subject: kern: set the name of the kernel task to 'gnumach'

* kern/taks.c (task_init): Set the name of the kernel task to 'gnumach'.
---
 kern/task.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kern/task.c')

diff --git a/kern/task.c b/kern/task.c
index 66eb25c..20acc6a 100644
--- a/kern/task.c
+++ b/kern/task.c
@@ -70,6 +70,7 @@ void task_init(void)
 	 * for other initialization. (:-()
 	 */
 	(void) task_create(TASK_NULL, FALSE, &kernel_task);
+	(void) task_set_name(kernel_task, "gnumach");
 }
 
 kern_return_t task_create(
-- 
cgit v1.2.3