Skip to content
@tyyteam

tyyteam

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

Hi there 👋

We aim at poring seL4 and related repos to Loongarch.

For seL4test project, see la-seL4 repo for more info.

Pinned Loading

  1. la-seL4 la-seL4 Public

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

    C 11 2

  2. la-sel4test la-sel4test Public

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

    C

  3. la-seL4_tools la-seL4_tools Public

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

    C

  4. la-musllibc la-musllibc Public

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

    C

  5. la-sel4runtime la-sel4runtime Public

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

    C

  6. la-seL4_libs la-seL4_libs Public

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

    C

Repositories

Showing 10 of 19 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…