登录
secc/seL4-webserver-manifest
同步镜像关注点赞复刻(Fork)
  • 主页
  • 代码库
  • 疑修(Issue)
  • 流水线(devops)
  • 里程碑
  • 维基(Wiki)
  • 动态
目录
master
分支1
标签5
+ 疑修
Web IDE
seL4 CI
Updating default.xml


Change-Id: I394034909b3ab5b156eba762bff33f587b070171
27天前755次提交
  • .githubgithub: use central CI workflows10个月前
  • LICENSESSPDX license tags and seL4 Foundation setup5年前
  • README.mdSPDX license tags and seL4 Foundation setup5年前
  • default.xmlUpdating default.xml27天前
  • master.xmlRemove reference to obsolete repo3年前
目录README.md

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于
text
README.md
639.0 KB
邀请码