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

Updating default.xml

Change-Id: I8f03e2db8054649a4f224085e265d66199254ab0

3天前845次提交
  • .githubgithub: use central CI workflows1年前
  • LICENSESSPDX license tags and seL4 Foundation setup5年前
  • README.mdSPDX license tags and seL4 Foundation setup5年前
  • default.xmlUpdating default.xml3天前
  • 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
774.0 KB
邀请码