var searchData= [ ['thread_20management',['Thread Management',['../group___c_m_s_i_s___r_t_o_s___thread_mgmt.html',1,'']]], ['timer_20management',['Timer Management',['../group___c_m_s_i_s___r_t_o_s___timer_mgmt.html',1,'']]] ];
