| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 28-Jul-2020 | 15 | ||
| .github/ | H | 30-Nov-2020 | 5 | |
| .gitignore | H A D | 30-Nov-2020 | 346 | |
| CMakeLists.txt | H A D | 30-Nov-2020 | 562 | |
| Findsel4_projects_libs.cmake | H A D | 30-Nov-2020 | 470 | |
| libsel4bga/ | H | 30-Nov-2020 | 7 | |
| libsel4dma/ | H | 30-Nov-2020 | 6 | |
| libsel4keyboard/ | H | 30-Nov-2020 | 8 | |
| libsel4nanopb/ | H | 30-Nov-2020 | 7 | |
| libsel4rpc/ | H | 30-Nov-2020 | 7 | |
| libsel4vchan/ | H | 30-Nov-2020 | 6 | |
| libsel4vm/ | H | 30-Nov-2020 | 11 | |
| libsel4vmmplatsupport/ | H | 30-Nov-2020 | 9 | |
| LICENSE.md | H A D | 30-Nov-2020 | 515 | |
| LICENSES/ | H | 30-Nov-2020 | 6 | |
| README.md | H A D | 30-Nov-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