Need a command to kill an arbitrary running task

[Jakub Jermář]

We need a way to kill tasks directly from userspace. Something like:

# kill 35

This command could be a mere wrapper around a new syscall, which would in turn call the task_kill() kernel function.

[Martin Decky]

The "kill" functionality is certainly needed, but it makes less sense without a way how to list running tasks in user space (without using the kernel console which is only a debugging tool).

Both functionalities should be part of the master thesis preliminary assigned to Mr. Kozina.

[Jiri Svoboda]

It has been possible to list tasks and their IDs using the 'task' command for some time (thanks to Standa Kozina). Now I implemented the kill command in changeset:mainline,776. Syntax is kill task_id.