Explore projects

The seL4-tools with loongarch support, see official repositories at https://github.com/seL4

The util_libs with loongarch support, see official repositories at https://github.com/seL4

android/frameworks/base

android/frameworks/native

天津大学 OSship proj159

The sel4test with loongarch support, see official repositories at https://github.com/seL4

本项目基于xv6-k210进行编写，旨在参加oscomp内核赛道 然而由于疫情原因，加之个人计划不周，与学习生活严重冲突，调用功能并没有完成（甚至尚未完全验证上板正确性） 在此向队员们致歉，不要气馁，你们是最棒的ouo

caporustos，浙江大学

Enforce Core 天津理工大学

队名：hfut.happy 学校：合肥工业大学宣城校区

RISC-V GC OS

队名：hfut.happy 学校：合肥工业大学宣城校区

android/external/minijail

华南师范大学，勇往直前，proj116

南开大学 库乐队 proj105

天津大学，小螃蟹队，proj4

天津大学-北洋os小分队-proj154