Repositories list

• la-seL4_tools

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

  C

  •

  Other

  •0•0•0•0•Updated Feb 3, 2023Feb 3, 2023

• la-sel4test

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

  C

  •

  Other

  •0•0•0•0•Updated Jan 30, 2023Jan 30, 2023

• la-seL4

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

  C

  •

  Other

  •2•17•1•0•Updated Jan 30, 2023Jan 30, 2023

• seL4-oscompProblemSolutions

  Public
  Record how we solved some boring problems

  0•3•0•0•Updated Dec 5, 2022Dec 5, 2022

• la-camkes-vm-examples

  Public
  C

  •

  Other

  •27•0•0•0•Updated Oct 12, 2022Oct 12, 2022

• la-camkes-vm

  Public
  Virtual Machine built as a CAmkES component.

  C

  •

  Other

  •35•0•0•0•Updated Oct 12, 2022Oct 12, 2022

• la-camkes-vm-examples-manifest

  Public
  16•0•0•0•Updated Oct 4, 2022Oct 4, 2022

• la-seL4-CAmkES-L4v-dockerfiles

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

  Shell

  •41•0•0•0•Updated Sep 21, 2022Sep 21, 2022

• OS-comp-pdfdoc-videos

  Public
  OS Comp pdf files and videos.

  0•1•0•0•Updated Sep 16, 2022Sep 16, 2022

• .github

  Public
  0•0•0•0•Updated Sep 16, 2022Sep 16, 2022

• manifest-test

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

  0•0•0•0•Updated Sep 16, 2022Sep 16, 2022

• la-seL4_libs

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

  C

  •

  Other

  •0•0•0•0•Updated Sep 13, 2022Sep 13, 2022

• la-util_libs

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

  C

  •

  Other

  •0•0•0•0•Updated Aug 15, 2022Aug 15, 2022

• la-sel4runtime

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

  C

  •

  Other

  •0•0•0•0•Updated Aug 15, 2022Aug 15, 2022

• la-seL4-ci-actions

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

  Python

  •13•0•0•0•Updated Aug 14, 2022Aug 14, 2022

• la-l4v

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

  Isabelle

  •

  Other

  •109•0•0•0•Updated Aug 11, 2022Aug 11, 2022

• seL4-comments

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

  C

  •

  Other

  •0•3•0•0•Updated Jul 28, 2022Jul 28, 2022

• seL4_tools-comments

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

  C

  •

  Other

  •0•0•0•0•Updated May 29, 2022May 29, 2022

• la-musllibc

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

  C

  •

  Other

  •0•0•0•0•Updated May 15, 2022May 15, 2022