This section contains the information about the synchronization services available in the microkernel.