Gerwin Klein

remove obsolete LICENSE_* files
These are already covered by the LICENSES/ directory and SPDX
identifiers.
Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

9天前745次提交

.githubgithub: use central CI workflows3个月前
LICENSESAdd seL4 foundation docs setup4年前
libsel4bgaremove obsolete LICENSE_* files9天前
libsel4dmaremove obsolete LICENSE_* files9天前
libsel4keyboardremove obsolete LICENSE_* files9天前
libsel4nanopbremove obsolete LICENSE_* files9天前
libsel4rpctrivial: Fixup compiler warnings3年前
libsel4vchanremove obsolete LICENSE_* files9天前
libsel4vmremove obsolete LICENSE_* files9天前
libsel4vmmplatsupportvmmplatsupport: Fix issue with unaligned writes3个月前
.gitignoreConvert to SPDX license tags4年前
CMakeLists.txtConvert to SPDX license tags4年前
Findsel4_projects_libs.cmakeConvert to SPDX license tags4年前
LICENSE.mdAdd seL4 foundation docs setup4年前
README.mdAdd seL4 foundation docs setup4年前

README.md

seL4_projects_libs

seL4 Projects Libraries

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

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.

关于

c cmake

README.md

2.3 MB

邀请码

加入我们
官网邮箱：gitlink@ccf.org.cn

QQ群

公众号