Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Sep-2020 | 22 | ||
CMakeLists.txt | H A D | 25-Sep-2020 | 764 | |
include/ | H | 25-Jul-2019 | 3 | |
LICENSE_BSD2.txt | H A D | 25-Jul-2019 | 1.4 KiB | |
README.md | H A D | 25-Jul-2019 | 458 | |
spin/ | H | 25-Jul-2019 | 6 | |
src/ | H | 25-Sep-2020 | 3 |
README.md
1<!--- 2 Copyright 2017, Data61 3 Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 ABN 41 687 119 230. 5 6 This software may be distributed and modified according to the terms of 7 the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 See "LICENSE_BSD2.txt" for details. 9 10 @TAG(DATA61_BSD) 11 --> 12 13# seL4 synchronisation library 14 15This library is based closely on original code from seL4 SOS (AOS project) 16library libsel4sync. 17