Repositories list

• arceos

  Public
  An experimental modular OS written in Rust.

  Rust

  •

  Apache License 2.0

  •385•0•0•0•Updated Aug 10, 2025Aug 10, 2025

• rel4-integral

  Public
  Rust

  •1•1•8•0•Updated Aug 10, 2025Aug 10, 2025

• rel4-linux-kit

  Public
  Rust

  •1•0•1•0•Updated Aug 10, 2025Aug 10, 2025

• musl

  Public
  Unofficial mirror of etalabs musl repository. Updated daily.

  C

  •

  Other

  •138•0•0•0•Updated Aug 10, 2025Aug 10, 2025

• rel4_kernel

  Public
  Rust

  •0•0•0•0•Updated Jul 21, 2025Jul 21, 2025

• reL4-cli

  Public
  Rust

  •0•0•0•0•Updated Jul 16, 2025Jul 16, 2025

• sel4_task

  Public
  Rust

  •0•0•0•0•Updated Jun 24, 2025Jun 24, 2025

• sel4_common

  Public
  Rust

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• starry-next

  Public
  基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-stars.github.io/Starry-Tutorial-Book , 内核（unikernel-->monolithic kernel-->hypervisor）组件化设计学习视频：https://opencamp.cn/os2edu/camp/2025spring/stage/3 , starry-next所基于并调用的arceos crates列表 https://oscomp.github.io/arceos/

  Rust

  •50•0•0•0•Updated Jun 8, 2025Jun 8, 2025

• sel4_vspace

  Public
  Rust

  •0•0•0•0•Updated Jun 8, 2025Jun 8, 2025

• sel4_ipc

  Public
  Rust

  •0•0•0•0•Updated Jun 8, 2025Jun 8, 2025

• build-scripts

  Public
  Shell

  •1•0•0•0•Updated May 23, 2025May 23, 2025

• seL4_c_impl

  Public
  C

  •

  Other

  •0•0•0•0•Updated May 23, 2025May 23, 2025

• rel4-kernel-autobuild

  Public
  Shell

  •3•0•0•0•Updated May 12, 2025May 12, 2025

• seL4-tools

  Public
  C

  •

  Other

  •0•0•0•0•Updated May 11, 2025May 11, 2025

• sel4_cspace

  Public
  Rust

  •0•0•0•0•Updated May 7, 2025May 7, 2025

• rust-sel4

  Public
  Rust support for seL4 userspace

  Rust

  •28•0•0•0•Updated Mar 6, 2025Mar 6, 2025

• sel4test

  Public
  C

  •

  Other

  •0•0•0•0•Updated Feb 26, 2025Feb 26, 2025

• seL4-original

  Public
  The seL4 microkernel

  C

  •

  Other

  •709•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• rust_sel4_pbf_parser

  Public
  Rust

  •0•0•0•0•Updated Jan 4, 2025Jan 4, 2025

• serial-impl-sbi

  Public
  Rust

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• serial-impl-pl011

  Public
  Rust

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• serial-frame

  Public
  Rust

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• driver-collect

  Public
  Rust

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• sel4test-manifest

  Public
  0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• opensbi

  Public
  C

  •

  Other

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• rel4-dev-repo

  Public
  0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• qemu

  Public
  Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

  C

  •

  Other

  •6.2k•0•0•0•Updated Sep 11, 2023Sep 11, 2023