[PATCH 1/6] kern: set the name of the kernel task to 'gnumach'

[Justus Winter]

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

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(
-- 
2.0.0