I have a question about 'static inline void thread_switch_to(Native_thread_id tid)'. This function shall yield to a given thread, but what is the expected behavior if the targeted thread exists and is started but also paused? Greets, Martin