diff options
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 |