Hi,

I want to kill a thread in my Genode program and on non-Linux base I currently do this:

```c++ main_obj->_env.cpu().kill_thread(Thread::myself()->cap()); ```

However, this does not work when I use Linux as a base. From what I understand this is due to capabilities being emulated on Linux.

Is there a function similar to the one above that will work for Linux?

Best, Rumen