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

Name		Name	Last commit message	Last commit date
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

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages