Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision b76a22177c4c3a1dbff86603b43c86fa730488e2)
+++ kernel/generic/src/proc/task.c	(revision cc76be3943a308c0e7ce268a92c9c99a4b60a84c)
@@ -132,4 +132,5 @@
 #endif			
 			task_kill(id);
+			thread_usleep(10000);
 		} else {
 			spinlock_unlock(&tasks_lock);