seL4_projects_libs

seL4 Projects Libraries

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

Contributions welcome!

See the CONTRIBUTING file for more.

Name		Name	Last commit message	Last commit date
Latest commit History 739 Commits
.github		.github
LICENSES		LICENSES
libsel4bga		libsel4bga
libsel4dma		libsel4dma
libsel4keyboard		libsel4keyboard
libsel4nanopb		libsel4nanopb
libsel4rpc		libsel4rpc
libsel4vchan		libsel4vchan
libsel4vm		libsel4vm
libsel4vmmplatsupport		libsel4vmmplatsupport
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Findsel4_projects_libs.cmake		Findsel4_projects_libs.cmake
LICENSE.md		LICENSE.md
README.md		README.md