secc
/
seL4-projects_libs
mirror of https://github.com/seL4/projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
337 Commits 19 Branches 1 Tag 1.8 MiB
C++ 73.1%
C 17.1%
Shell 5.3%
Makefile 2.8%
CMake 1.2%
Other 0.5%
Go to file
Gerwin Klein 1e016fb78c github: use central CI workflows 
Use GitHub workflow_call feature to reduce workflow duplication.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-03-17 11:40:40 +11:00
.github github: use central CI workflows 2025-03-17 11:40:40 +11:00
.reuse SPDX license headers 2021-03-29 16:35:15 +11:00
LICENSES SPDX license headers 2021-03-29 16:35:15 +11:00
libfdtgen libfdtgen: Fix power-domain dependencies 2022-05-09 12:01:06 +10:00
libjansson SPDX license headers 2021-03-29 16:35:15 +11:00
libmsgpack trivial: update libmsgpack README to fix CI 2022-10-26 16:48:54 +11:00
libnfs SPDX license headers 2021-03-29 16:35:15 +11:00
libplatsupportports SPDX license headers 2021-03-29 16:35:15 +11:00
libringbuffer ringbuffer: add "has_data" helper function 2022-10-27 07:44:52 +11:00
libsdhcdrivers SPDX license headers 2021-03-29 16:35:15 +11:00
libtx2bpmp SPDX license headers 2021-03-29 16:35:15 +11:00
libusbdrivers usbdrivers, trivial: fix free error check 2024-09-23 11:17:35 +02:00
libvirtqueue libvirtqueue: readme markdown formatting 2023-05-25 17:07:55 +10:00
libvswitch trivial,libvswitch: Style include/vswitch.h 2023-04-13 16:45:32 +10:00
.licenseignore SPDX license headers 2021-03-29 16:35:15 +11:00
.stylefilter SPDX license headers 2021-03-29 16:35:15 +11:00
CMakeLists.txt SPDX license headers 2021-03-29 16:35:15 +11:00
Findprojects_libs.cmake SPDX license headers 2021-03-29 16:35:15 +11:00
LICENSE.md seL4 foundation setup 2021-03-29 16:35:15 +11:00
README.md SPDX license headers 2021-03-29 16:35:15 +11:00

README.md

projects_libs

Platform independent libraries