summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-19 18:50:29 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-19 18:50:29 +0200
commit890a2f6228b479fd0a0084d6f7b0d36f43f28b74 (patch)
tree35f0d5ebcf422bd3fd7a99d71430fbdeb86e31d8
parent92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff)
kern/bootstrap: deallocate task
* kern/bootstrap.c (boot_script_free_task): Deallocate task.
-rw-r--r--kern/bootstrap.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/bootstrap.c b/kern/bootstrap.c
index 50388ade..03f4f0f6 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