GitHub - maaaat/seL4: The seL4 microkernel

maaaat / seL4 Public

forked from seL4/seL4

The seL4 microkernel

Name		Name	Last commit message	Last commit date
Latest commit History 4,328 Commits
.github/workflows		.github/workflows
.reuse		.reuse
LICENSES		LICENSES
configs		configs
include		include
libsel4		libsel4
manual		manual
src		src
tools		tools
.cmake-format.yaml		.cmake-format.yaml
.gitignore		.gitignore
.licenseignore		.licenseignore
CAVEATS-generic.md		CAVEATS-generic.md
CAVEATS-ia32.md		CAVEATS-ia32.md
CHANGES		CHANGES
CMakeLists.txt		CMakeLists.txt
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS.md		CONTRIBUTORS.md
FindseL4.cmake		FindseL4.cmake
LICENSE.md		LICENSE.md
README.md		README.md
SECURITY.md		SECURITY.md
VERSION		VERSION
config.cmake		config.cmake

Provide feedback