tyyteam's repositories
seL4-comments
The comments of seL4 source code which we use to port seL4 to LA.
seL4-oscompProblemSolutions
Record how we solved some boring problems
OS-comp-pdfdoc-videos
OS Comp pdf files and videos.
la-l4v
seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/
la-musllibc
The musllibc with loongarch support, see official repositories at https://github.com/seL4
la-seL4_libs
The seL4_libs with loongarch support, see official repositories at https://github.com/seL4
la-seL4_tools
The seL4-tools with loongarch support, see official repositories at https://github.com/seL4
la-sel4runtime
The sel4runtime with loongarch support, see official repos at https://github.com/seL4
la-sel4test
The sel4test with loongarch support, see official repositories at https://github.com/seL4
la-camkes-vm
Virtual Machine built as a CAmkES component.
la-seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
la-seL4-ci-actions
CI GitHub actions for the seL4 repositories, see official repositories at https://github.com/seL4
la-util_libs
The util_libs with loongarch support, see official repositories at https://github.com/seL4
manifest-test
This is a test for manifest. It seems meaningless to use repo without ci. seL4 uses github workflow to automatically generate repo uploading records.
seL4_tools-comments
The comments of seL4_tools source code(mainly the elfloader) which we use to port seL4 to LA.