GitHub - C4-OS/C4-kernel: L4-like microkernel · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 171 Commits
arch/x86		arch/x86
include/c4		include/c4
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
Makefile		Makefile
TODO.md		TODO.md
objs.mk		objs.mk

About

L4-like microkernel

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages