From 890a2f6228b479fd0a0084d6f7b0d36f43f28b74 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 19 Jul 2015 18:50:29 +0200
Subject: kern/bootstrap: deallocate task

* kern/bootstrap.c (boot_script_free_task): Deallocate task.
---
 kern/bootstrap.c | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3