Test and demonstrate how to use real time mutex in Xenomai