secc/seL4-webserver-manifest

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

目录

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

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.

关于

774.0 KB

邀请码