可控开源社区

secc/seL4-webserver-manifest

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

目录

seL4 CI

Updating default.xml
Change-Id: I0e057f0d4d9f4c21be6a293b9d8fe3e79ccab769

3天前801次提交

.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年前

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于

710.0 KB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

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