diff options
Diffstat (limited to 'debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch')
| -rw-r--r-- | debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch b/debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch new file mode 100644 index 0000000..03df6b9 --- /dev/null +++ b/debian/patches/0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch @@ -0,0 +1,25 @@ +From 85f88e4de061ade319f720b57aaa1ba908811ecd 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: [PATCH 1/6] 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(+) + +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 + |