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