In task_kill(), remove the task from the tasks_btree before proceeding.
treeb7de5a4d49dec561f265fb288e87583085a8dd20
-rw-r--r-- 8319 Makefile
drwxr-xr-x - arch
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
-rw-r--r-- 3612 kernel.config
drwxr-xr-x - test
drwxr-xr-x - tools