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 ------------------------------------------------------------------------------ Virtualization & Cloud Management Using Capacity Planning Cloud computing makes use of virtualization - but cloud computing also focuses on allowing computing to be delivered as a service. http://www.accelacomm.com/jaw/sfnl/114/51521223/ _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
