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