secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
747 Commits 16 Branches 0 Tags 2.3 MiB
C 99.2%
CMake 0.8%
Go to file
June Andronick 366cc9088f fix broken internal links 
Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
 		2025-07-10 08:53:02 +10:00
.github github: use central CI workflows 2025-03-17 11:37:11 +11:00
LICENSES Add seL4 foundation docs setup 2020-11-28 17:05:19 +11:00
libsel4bga remove obsolete LICENSE_* files 2025-05-26 09:59:17 +02:00
libsel4dma remove obsolete LICENSE_* files 2025-05-26 09:59:17 +02:00
libsel4keyboard remove obsolete LICENSE_* files 2025-05-26 09:59:17 +02:00
libsel4nanopb remove obsolete LICENSE_* files 2025-05-26 09:59:17 +02:00
libsel4rpc trivial: Fixup compiler warnings 2021-12-08 15:25:38 +11:00
libsel4vchan remove obsolete LICENSE_* files 2025-05-26 09:59:17 +02:00
libsel4vm fix broken internal links 2025-07-10 08:53:02 +10:00
libsel4vmmplatsupport api docs: fix links (#135) 2025-07-09 16:01:17 +02:00
.gitignore Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
CMakeLists.txt Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
Findsel4_projects_libs.cmake Convert to SPDX license tags 2020-11-28 17:19:21 +11:00
LICENSE.md Add seL4 foundation docs setup 2020-11-28 17:05:19 +11:00
README.md Add seL4 foundation docs setup 2020-11-28 17:05:19 +11:00

README.md

seL4_projects_libs

seL4 Projects Libraries

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.