Alternatives and similar repositories for linux-mcdc

Users that are interested in linux-mcdc are comparing it to the libraries listed below

• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆126Updated 3 weeks ago
• riscv-non-isa / riscv-ap-tee
  This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …
  ☆65Updated last month
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆95Updated this week
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• cache-ext / cache_ext
  cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.
  ☆70Updated last month
• intel / confidential-computing.tdx.tdx-module
  Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …
  ☆89Updated 5 months ago
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆17Updated 8 months ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆33Updated last month
• AMDESE / linux
  Linux kernel source tree
  ☆31Updated this week
• islet-project / islet
  An on-device confidential computing platform
  ☆134Updated last month
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆73Updated 2 years ago
• microsoft / Cornelius
  ☆40Updated last month
• olivierpierre / unikernel-papers
  ☆126Updated this week
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆41Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated this week
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆21Updated 4 months ago
• intel / MigTD
  ☆46Updated this week
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆87Updated last week
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆40Updated this week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆63Updated last month
• riscv-admin / trusted-computing
  ☆23Updated 2 years ago
• xlab-uiuc / emt
  EMT: An OS Framework for New Memory Translation Architectures
  ☆28Updated 6 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆21Updated last month
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆64Updated 3 weeks ago
• riscv-non-isa / riscv-security-model
  RISC-V Security Model
  ☆34Updated last week
• TELOS-syslab / CortenMM-Artifact
  The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
  ☆39Updated 2 months ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆117Updated this week