Explore projects

西南石油大学-微柚团队：基于AliOS Things操作系统提供线程级读写锁功能

华东师范大学，AOS，proj3

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

杭州电子科技大学，黼蔀黻纪，proj175

A lexical analyzer of custom-c which is the subset of c program language