可控开源社区

secc/seL4-webserver-manifest

同步镜像关注点赞复刻(Fork)

目录

seL4 CI

Updating default.xml
Change-Id: I4349150c4bb827990e01a93e5726907c484d4c69

2天前832次提交

.githubgithub: use central CI workflows1年前
LICENSESSPDX license tags and seL4 Foundation setup5年前
README.mdSPDX license tags and seL4 Foundation setup5年前
default.xmlUpdating default.xml2天前
master.xmlRemove reference to obsolete repo3年前

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于

755.0 KB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9 京公网安备 11010802047560号