seL4 synchronisation library

This library is based closely on original code from seL4 SOS (AOS project) library libsel4sync.