登录
secc/seL4_projects_libs
同步镜像关注点赞复刻(Fork)
  • 主页
  • 代码库
  • 疑修(Issue)
  • 流水线(devops)
  • 里程碑
  • 维基(Wiki)
  • 动态
目录
master
分支15
标签0
+ 疑修
Web IDE
Ivan-Velickovic

Bump minimum CMake version

See commit 6f2fe4626d827eb58e2fd954c2c16cefcb67fa61 of seL4 for motivation.

Signed-off-by: Ivan-Velickovic i.velickovic@unsw.edu.au

6个月前748次提交
  • .githubgithub: use central CI workflows10个月前
  • LICENSESAdd seL4 foundation docs setup5年前
  • libsel4bgaBump minimum CMake version8个月前
  • libsel4dmaBump minimum CMake version8个月前
  • libsel4keyboardBump minimum CMake version8个月前
  • libsel4nanopbBump minimum CMake version8个月前
  • libsel4rpcBump minimum CMake version8个月前
  • libsel4vchanremove obsolete LICENSE_* files8个月前
  • libsel4vmBump minimum CMake version8个月前
  • libsel4vmmplatsupportBump minimum CMake version8个月前
  • .gitignoreConvert to SPDX license tags5年前
  • CMakeLists.txtBump minimum CMake version8个月前
  • Findsel4_projects_libs.cmakeConvert to SPDX license tags5年前
  • LICENSE.mdAdd seL4 foundation docs setup5年前
  • README.mdAdd seL4 foundation docs setup5年前
目录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.

关于
ccmake
README.md
2.4 MB
邀请码