Hello genode,
I have a rather simple question.
At any place in source code, how can I know the thread id?

For instance, in the body of main function like,

int main()
{
... blah
id = some_action_to_get_thread_id();
... blah
}

Best,
Jaeyong