Alternatives and similar repositories for AOS-manifest

Users that are interested in AOS-manifest are comparing it to the libraries listed below

• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆52Updated last month
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 6 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• ISRC-CAS / arkcompiler-materials
  PLCT实验室收集的方舟编译器的相关分析文章和新闻
  ☆22Updated 4 years ago
• toshsan / nbench
  Linux/Unix nbench (previously known as BYTE's Native Mode Benchmarks)
  ☆30Updated 11 years ago
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆36Updated 7 years ago
• keystone-enclave / sm
  Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
  ☆13Updated 3 years ago
• markic / linker-and-loader
  Linker and loader for elf relocatable files. Developed in C for ARM architecture.
  ☆30Updated last year
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 4 years ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆38Updated 3 years ago
• lazyparser / becoming-a-compiler-engineer-codes
  方舟编译入门技术课程的配套代码
  ☆30Updated 5 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated this week
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆113Updated last month
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 7 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆21Updated 3 months ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• hellogcc / OSDT-Slides
  OSDT社区（HelloGCC、HelloLLVM）组织的活动中的报告
  ☆47Updated 4 years ago
• isclouder / microv
  kvm hypervisor
  ☆16Updated 3 years ago
• seL4 / camkes-vm-examples
  ☆17Updated 3 weeks ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 7 years ago
• bdaehlie / linux-cpu-scheduler-docs
  Understanding the Linux 2.6.8.1 CPU Scheduler
  ☆18Updated 10 years ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆39Updated 3 years ago
• uec-hanken / tee-hardware
  TEE hardware - based on the chipyard repository - hardware to accelerate TEE
  ☆24Updated 3 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• hellollvm / website
  website of hellollvm.org
  ☆39Updated 6 months ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 7 months ago
• riscv-non-isa / riscv-c-api-doc
  Documentation of the RISC-V C API
  ☆78Updated last week
• Babtsov / jos
  Detailed solutions to assignments of MIT's Operating Systems Engineering course
  ☆56Updated last year
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 8 years ago