diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-09 15:12:03 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-11 10:31:45 +0200 |
commit | e4b4e64ba7d2679df6508f27ce75d90cba7f5cb5 (patch) | |
tree | 144fda1dc6672134c4749fc6f21e5ae1c5781bd5 /kern/timer.h | |
parent | b0039d6972f631ca7fdff2379d50ad31c3781a7d (diff) |
kern: set the name of the kernel task to 'gnumach'
* kern/taks.c (task_init): Set the name of the kernel task to 'gnumach'.
Diffstat (limited to 'kern/timer.h')
0 files changed, 0 insertions, 0 deletions