GitHub - lmsel4/meta: Compatibility layer for porting linux kernel modules to seL4 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
apps		apps
kernel @ 5678769		kernel @ 5678769
libs		libs
projects		projects
tools		tools
.gitignore		.gitignore
.gitmodules		.gitmodules
Kbuild		Kbuild
Kconfig		Kconfig
Makefile		Makefile
configs		configs

About

Compatibility layer for porting linux kernel modules to seL4

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages