Gerwin Klein

Remove unsupported platforms
Implement RFC-19 and remove the remaining code for the following
platforms. They have been deprecated since 2025.

Arndale exynos5250
Odroid-X exynos4

Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

2天前756次提交

.githubgithub: use central CI workflows1年前
LICENSESAdd seL4 foundation docs setup6年前
libsel4bgaBump minimum CMake version1年前
libsel4dmaRemove unsupported platforms4天前
libsel4keyboardBump minimum CMake version1年前
libsel4nanopbBump minimum CMake version1年前
libsel4rpcBump minimum CMake version1年前
libsel4vchanremove obsolete LICENSE_* files1年前
libsel4vmRemove unsupported platforms4天前
libsel4vmmplatsupportRemove unsupported platforms4天前
.gitignoreConvert to SPDX license tags6年前
CMakeLists.txtBump minimum CMake version1年前
Findsel4_projects_libs.cmakeConvert to SPDX license tags6年前
LICENSE.mdAdd seL4 foundation docs setup6年前
README.mdAdd seL4 foundation docs setup6年前

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.5 MB

邀请码

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

QQ群

公众号