<!--
     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

# seL4 synchronisation library

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