lib Directory Reference

Files
file	thread_synch.h [code]
	User-level library to wrap thread-synch kernel-level functionalities.