diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-19 18:50:29 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-19 18:50:29 +0200 |
| commit | 890a2f6228b479fd0a0084d6f7b0d36f43f28b74 (patch) | |
| tree | 35f0d5ebcf422bd3fd7a99d71430fbdeb86e31d8 /kern | |
| parent | 92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff) | |
kern/bootstrap: deallocate task
* kern/bootstrap.c (boot_script_free_task): Deallocate task.
Diffstat (limited to 'kern')
| -rw-r--r-- | kern/bootstrap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/bootstrap.c b/kern/bootstrap.c index 50388ad..03f4f0f 100644 --- a/kern/bootstrap.c +++ b/kern/bootstrap.c @@ -836,6 +836,7 @@ boot_script_free_task (task_t task, int aborting) { if (aborting) task_terminate (task); + task_deallocate (task); } int |