Alternatives and similar repositories for AOS-manifest

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

• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 5 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆37Updated 2 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 months ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆48Updated this week
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated last week
• ISRC-CAS / arkcompiler-materials
  PLCT实验室收集的方舟编译器的相关分析文章和新闻
  ☆21Updated 4 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆14Updated 2 years ago
• intel / cNVMe
  An NVMe Device Simulation Library.
  ☆50Updated 3 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• edgarigl / qemu-etrace
  Qemu Etrace
  ☆14Updated last year
• uec-hanken / tee-hardware
  TEE hardware - based on the chipyard repository - hardware to accelerate TEE
  ☆24Updated 2 years ago
• PanQL / zircon-notes
  对zircon内核的一些分析，欢迎补充！
  ☆60Updated 5 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 3 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆23Updated 3 years ago
• jinb-park / rcu_example
  rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example
  ☆34Updated 2 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆58Updated 5 years ago
• lmcad-unicamp / riscv-sbt
  RISC-V Static Binary Translator
  ☆18Updated 6 years ago
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 7 years ago
• keystone-enclave / sm
  Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
  ☆13Updated 2 years ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 4 months ago
• avpatel / kvmtool
  Native Linux KVM tool
  ☆11Updated last month
• bdaehlie / linux-cpu-scheduler-docs
  Understanding the Linux 2.6.8.1 CPU Scheduler
  ☆18Updated 10 years ago
• HawxChen / Linux-Kernel-Driver-Programming
  Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
  ☆54Updated 8 years ago
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆34Updated 6 years ago
• openssd / jasmine
  Firmware for the Jamine OpenSSD platform
  ☆51Updated 3 years ago
• DCSec / HyperBench
  HyperBench: A Benchmark Suite for Virtualization Capabilities
  ☆31Updated 5 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆56Updated last year