kill-l4 fails to kill a task started with run-l4

[Derick Swanepoel]

Hi all,

I am using kill-l4 to try and kill a task started with run-l4, but it
fails as follows:

simplets| l4_ts_kill_recursive_component(): Kill 21.00 sent by 20.00 owner 20.00
simplets| task_kill(): Kill 21.00 from 20.00 but owner is 20.00
        | l4ts_kill_task_recursive(): failed (server=8.00, ret=-11, exc 0)

Any ideas?

Thanks,
Derick