可控开源社区

secc/seL4-webserver-manifest

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

目录

seL4 CI

Updating default.xml
Change-Id: I394034909b3ab5b156eba762bff33f587b070171

1个月前755次提交

.githubgithub: use central CI workflows10个月前
LICENSESSPDX license tags and seL4 Foundation setup5年前
README.mdSPDX license tags and seL4 Foundation setup5年前
default.xmlUpdating default.xml1个月前
master.xmlRemove reference to obsolete repo3年前

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于

639.0 KB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

©Copyright 2023 CCF 开源发展委员会
Powered by Trustie& IntelliDE 京ICP备13000930号