可控开源社区

secc/seL4-webserver-manifest

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

目录

seL4 CI

Updating default.xml
Change-Id: I231699c4898e7552d26564b1671dbb9bbd8fb72a

19天前897次提交

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

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于

856.0 KB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

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