diff --git a/src/kernel/core/thread.c b/src/kernel/core/thread.c index f699aef4ea..56453085db 100644 --- a/src/kernel/core/thread.c +++ b/src/kernel/core/thread.c @@ -28,6 +28,7 @@ #include #include #include +#include #include #include #include @@ -995,11 +996,15 @@ thread_exit(void) delete_sem(team->death_sem); } cached_death_sem = -1; + + // free team resources vm_put_aspace(team->aspace); vm_delete_aspace(team->_aspace_id); delete_owned_ports(team->id); sem_delete_owned_sems(team->id); + remove_images(team); vfs_free_io_context(team->io_context); + free(team); }