Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 8 | ||
.github/ | H | 04-Dec-2020 | 5 | |
.gitignore | H A D | 04-Dec-2020 | 346 | |
CMakeLists.txt | H A D | 04-Dec-2020 | 562 | |
Findsel4_projects_libs.cmake | H A D | 04-Dec-2020 | 470 | |
libsel4bga/ | H | 04-Dec-2020 | 7 | |
libsel4dma/ | H | 04-Dec-2020 | 6 | |
libsel4keyboard/ | H | 04-Dec-2020 | 8 | |
libsel4nanopb/ | H | 04-Dec-2020 | 7 | |
libsel4rpc/ | H | 04-Dec-2020 | 7 | |
libsel4vchan/ | H | 04-Dec-2020 | 6 | |
libsel4vm/ | H | 04-Dec-2020 | 11 | |
libsel4vmmplatsupport/ | H | 04-Dec-2020 | 9 | |
LICENSE.md | H A D | 04-Dec-2020 | 515 | |
LICENSES/ | H | 04-Dec-2020 | 6 | |
README.md | H A D | 04-Dec-2020 | 350 |
README.md
1<!-- 2 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 4 SPDX-License-Identifier: CC-BY-SA-4.0 5--> 6 7# seL4\_projects\_libs 8 9## seL4 Projects Libraries 10 11A collection of libraries for seL4. These libraries are compatible with seL4_libs. 12 13## Contributing 14 15Contributions welcome! 16 17See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more. 18