tyyteam Goto Github PK

Type: Organization

Bio: We are porting seL4 to LoongArch. This project won 1st prize in Chinese National Computer System Competition(OS competition 2022)

tyyteam's Projects

Virtual Machine built as a CAmkES component.

seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/

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

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

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

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

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

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

The sel4runtime with loongarch support, see official repos at https://github.com/seL4

The sel4test 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

This is a test for manifest. It seems meaningless to use repo without ci. seL4 uses github workflow to automatically generate repo uploading records.

OS Comp pdf files and videos.

The comments of seL4 source code which we use to port seL4 to LA.

Record how we solved some boring problems

The comments of seL4_tools source code(mainly the elfloader) which we use to port seL4 to LA.