Explore projects

北京理工大学，百丽宫的饿龙，proj166

南开大学 ooLoongTea proj216

天津大学-你说的队-proj234

天津大学，你干嘛队，proj233

天津大学，OS泰裤辣，proj233-Linux预安装系统的构建

天津大学，卧龙凤雏，proj233

复旦大学，啊对对队，proj223

CI GitHub actions for the seL4 repositories, see official repositories at https://github.com/seL4

杭州电子科技大学，ref:rain，proj180

中国科学技术大学，谁敢反队，proj209

武汉大学 泾河捕鱼大队 Proj227

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v. see official repositories at https://github.com/seL4