CONDITION VARIABLES IN XILKERNEL

Does Xilinx microkernel (xilkernel) support for Condition Variables in Pthread?. That is, can I use code such as:

pthread_cond_init pthread_cond_wait

Thanks for your help.

Pablo Ant=FAnez