Skip to content
GitLab
菜单
项目
群组
代码片段
/
帮助
帮助
支持
社区论坛
快捷键
?
提交反馈
登录/注册
切换导航
菜单
打开侧边栏
Panda
seL4test manifest
仓库
90907c8a1c3b84e7685ff8847ebbd4d4638c14ff
切换分支/标签
查找文件
选择下载格式
下载源代码
zip
tar.gz
tar.bz2
tar
克隆
使用 SSH 克隆
使用 HTTPS 克隆
在您的IDE中打开
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
IntelliJ IDEA (SSH)
IntelliJ IDEA (HTTPS)
复制 HTTPS 克隆URL
复制SSH克隆URL
git@git.nju.edu.cn:nju/sel4test-manifest.git
复制 HTTPS 克隆地址
https://git.nju.edu.cn/nju/sel4test-manifest.git