rivosinc / coveView external linksLinks
RISC-V Confidential VM Extension
☆13Jan 14, 2026Updated last month
Alternatives and similar repositories for cove
Users that are interested in cove are comparing it to the libraries listed below
Sorting:
- Keystone security monitor library for opensbi (Discountinued after monorepo-izing)☆13Oct 28, 2022Updated 3 years ago
- 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 …☆65Dec 18, 2025Updated last month
- RISC-V Security HC admin repo☆18Jan 7, 2025Updated last year
- IOPMP IP☆22Jul 11, 2025Updated 7 months ago
- Risc-V hypervisor for TEE development☆126Jan 14, 2026Updated last month
- AIA IP compliant with the RISC-V AIA spec☆46Jan 27, 2025Updated last year
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆65Updated this week
- ☆23Jun 23, 2023Updated 2 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- Linux KVM RISC-V repo☆59Feb 6, 2026Updated last week
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Updated this week
- Framework for writing tests for RISC-V CPU/SOC validation.☆11Jan 19, 2026Updated 3 weeks ago
- ☆12Jan 11, 2024Updated 2 years ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆111Sep 24, 2025Updated 4 months ago
- ☆10Oct 28, 2018Updated 7 years ago
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- Linux kernel boot wrapper for FAST Models☆14Jul 4, 2013Updated 12 years ago
- Portuguese Parliament transparency platform - watching over government performance☆22Updated this week
- OpenTitan FI formal verification framework☆15Aug 29, 2023Updated 2 years ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆44Nov 24, 2025Updated 2 months ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆41Jun 5, 2023Updated 2 years ago
- board information for operating system development☆10Jan 30, 2025Updated last year
- The final code of a two-hour challenge to simulate and implement a SUBLEQ SISC machine☆14Jul 2, 2017Updated 8 years ago
- Linux kernel source tree☆14Jun 25, 2025Updated 7 months ago
- ☆11Jul 4, 2022Updated 3 years ago
- APB Timer Unit☆13Oct 30, 2025Updated 3 months ago
- Concurrent simulation of Pacman game☆10Feb 14, 2017Updated 8 years ago
- SystemVerilog examples for a digital design course☆13Mar 30, 2021Updated 4 years ago
- ownCloud Server Documentation☆12Jan 25, 2026Updated 2 weeks ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Native Linux KVM tool☆12Feb 4, 2026Updated last week
- ☆12Jun 14, 2019Updated 6 years ago
- VHDL ieee_proposed library, imported as is. See also https://github.com/FPHDL/fphdl☆12Aug 26, 2016Updated 9 years ago
- ☆10Oct 23, 2019Updated 6 years ago
- Android 姿势整理和音视频方向☆12Dec 5, 2020Updated 5 years ago
- Proof-of-concept for the GhostWrite CPU bug.☆118Aug 9, 2024Updated last year
- ☆11Apr 22, 2022Updated 3 years ago
- Simply check if a domain has been registered ( or if it is resolvable ) to determine if it's available.☆10Nov 11, 2017Updated 8 years ago
- A simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 7 years ago