Alternatives and similar repositories for AOS-manifest

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

• mit-pdos / ward
  ☆30Updated 3 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 5 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 3 years ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆15Updated 9 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆24Updated 2 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated 2 months 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 3 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆49Updated 2 weeks ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆35Updated 7 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆37Updated 2 weeks ago
• seL4 / camkes-vm-examples
  ☆17Updated 2 months ago
• ISRC-CAS / arkcompiler-materials
  PLCT实验室收集的方舟编译器的相关分析文章和新闻
  ☆21Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• keystone-enclave / sm
  Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
  ☆13Updated 2 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated last month
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• unikraft / lib-musl
  musl: A C standard library
  ☆13Updated last month
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• edgarigl / qemu-etrace
  Qemu Etrace
  ☆15Updated last year
• tgangwani / RegAlloc
  Chaitin-Briggs register-allocation algorithm (LLVM back-end)
  ☆11Updated 9 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 7 years ago
• ucsd-cse131-f19 / ucsd-cse131-f19.github.io
  Course web site for CSE131 F19
  ☆11Updated 5 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated 2 months ago
• lazyparser / becoming-a-compiler-engineer-codes
  方舟编译入门技术课程的配套代码
  ☆30Updated 5 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• toshsan / nbench
  Linux/Unix nbench (previously known as BYTE's Native Mode Benchmarks)
  ☆30Updated 11 years ago