Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 23 | ||
CMakeLists.txt | H A D | 24-Sep-2020 | 3.2 KiB | |
include/ | H | 25-Jul-2019 | 4 | |
LICENSE_BSD2.txt | H A D | 25-Jul-2019 | 1.4 KiB | |
README | H A D | 25-Jul-2019 | 372 | |
src/ | H | 24-Sep-2020 | 9 |
README
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 13Minimal muslc syscall implementation for seL4. 14