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
