Explore projects

重庆邮电大学，TD-SCDMA3G队，proj110

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

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

烫烫烫屯屯屯队，南方科技大学

A ready-to-go template for building Android apps with GitLab

队伍名称：MagiCore 学校：北京邮电大学

哈尔滨工业大学（深圳），压缩鸭，proj64-匿名页压缩算法优化

白泽-滁州学院

重铸计院荣光我辈义不容辞，西工大

v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html