Alternatives and similar repositories for ACE-RISCV

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

• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆69Updated 11 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆137Updated this week
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆28Updated last month
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆119Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆119Updated 3 weeks ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆138Updated this week
• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆308Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆161Updated 2 weeks ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆118Updated last month
• microsoft / igvm
  ☆103Updated last month
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆116Updated last year
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆95Updated last week
• virtee / sev
  Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.
  ☆114Updated last month
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆38Updated last week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆131Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• 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 …
  ☆57Updated last month
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆111Updated 3 weeks ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆127Updated this week
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆153Updated 10 months ago
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆58Updated 2 months ago
• cryspen / hax
  A Rust verification tool
  ☆273Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆197Updated 3 months ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆43Updated 3 months ago
• islet-project / islet
  An on-device confidential computing platform
  ☆116Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆270Updated last week
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆161Updated this week
• bootreer / vroom
  userspace nvme driver
  ☆102Updated last week