proj97-la-seL4-tyyteam

Project information

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。为了移植seL4微内核并运行测试程序，本团队fork了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

365 Commits
2 Branches
0 Tags

README
LICENSE
CHANGELOG
CONTRIBUTING

Created on

April 24, 2022

Copy HTTPS clone URLhttps://gitlab.eduxiji.net/qtliu/project788067-109730.git