dramforever / opensbi-h
WIP: A fork of OpenSBI, with software-emulated hypervisor extension support
☆37Updated 2 weeks ago
Alternatives and similar repositories for opensbi-h:
Users that are interested in opensbi-h are comparing it to the libraries listed below
- A bare-metal application to test specific features of the risc-v hypervisor extension☆36Updated last year
- This repo contains a RISC-V ISA extension (proposal) to allow recording of control transfer history to on-chip registers, to support usag…☆19Updated 3 weeks ago
- This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protectio…☆26Updated this week
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆44Updated 2 weeks ago
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆57Updated 3 years ago
- RISC-V IOMMU Specification☆107Updated this week
- PoC LoongArch - RISC-V emulator☆32Updated last year
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Updated last year
- Nix template for the chisel-based industrial designing flows.☆35Updated this week
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- ☆36Updated 3 years ago
- ☆28Updated 2 weeks ago
- Implements kernels with RISC-V Vector☆22Updated last year
- The experimental work to rewrite Chisel in pure Scala 3 and the Panama Project☆26Updated this week
- A Symmetric Multiprocessing OS Kernel over RISC-V☆30Updated 2 years ago
- ☆29Updated 2 years ago
- Rust RISC-V Virtual Machine☆96Updated 4 months ago
- ☆42Updated 3 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆86Updated 3 weeks ago
- Run Rocket Chip on VCU128☆29Updated 3 months ago
- AIA IP compliant with the RISC-V AIA spec☆35Updated last month
- RISC-V Online Help☆33Updated last month
- Unofficial LoongArch Intrinsics Guide☆42Updated last week
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- Open-source non-blocking L2 cache☆37Updated this week
- Valgrind with support for the RISCV64/Linux platform.☆63Updated 6 months ago
- ☆17Updated 2 years ago
- What if everything is a io_uring?☆16Updated 2 years ago
- Open-source RISC-V cryptographic hardware token, RTL repo☆19Updated 2 years ago
- Wrappers for open source FPU hardware implementations.☆30Updated 11 months ago