Alternatives and similar repositories for ACE-RISCV

Users that are interested in ACE-RISCV are comparing it to the libraries listed below

• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆319Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆69Updated last year
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆122Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆142Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆121Updated 2 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆163Updated last month
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 2 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆154Updated this week
• microsoft / igvm
  ☆106Updated last week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years 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 …
  ☆59Updated 3 months ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆97Updated last week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆196Updated 5 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆31Updated 2 weeks ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆130Updated this week
• cryspen / hax
  A Rust verification tool
  ☆280Updated last week
• virtee / sev
  Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.
  ☆115Updated last week
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆40Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆134Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆60Updated last week
• google / alioth
  Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.
  ☆277Updated this week
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆191Updated last week
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆60Updated 2 weeks ago
• lowRISC / manticore
  ☆17Updated 3 years ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆36Updated last month
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 7 months ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆111Updated last month
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆38Updated this week