alfa-project / alfa-frameworkLinks
This is the main repository of the ALFA framework project! Jump here to start developping with ALFA.
☆16Updated 4 months ago
Alternatives and similar repositories for alfa-framework
Users that are interested in alfa-framework are comparing it to the libraries listed below
Sorting:
- ☆23Updated 6 months ago
- CROSSCON-Hypervisor, a Lightweight Hypervisor☆19Updated 2 months ago
- ☆12Updated last month
- A guide on how to build and use a set of Bao guest configurations for various platforms☆46Updated last week
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Updated last year
- Group administration repository for Tech: IOPMP Task Group☆13Updated 10 months ago
- ☆12Updated last year
- AIA IP compliant with the RISC-V AIA spec☆45Updated 8 months ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated 2 weeks ago
- RISC-V IOMMU Specification☆136Updated last week
- Linux kernel source tree☆21Updated last week
- A bare-metal application to test specific features of the risc-v hypervisor extension☆42Updated last year
- ☆22Updated 2 years ago
- PLIC Specification☆149Updated 2 months ago
- MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…☆86Updated last year
- ☆38Updated 3 years ago
- This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protectio…☆35Updated this week
- A port of the RIPE suite to RISC-V.☆29Updated 7 years ago
- Proposal for new Embedded ABI (EABI) for use in embedded RISC-V systems.☆27Updated 4 years ago
- RISC-V Confidential VM Extension☆13Updated 2 years ago
- TACLe Benchmarks☆52Updated 11 months 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 …☆62Updated 5 months ago
- Bao, a Lightweight Static Partitioning Hypervisor☆456Updated last week
- Rocket Chip Generator☆12Updated 4 years ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆58Updated last week
- RISC-V Security HC admin repo☆18Updated 9 months ago
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Updated 4 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆19Updated last month
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆104Updated last month
- The MiBench testsuite, extended for use in general embedded environments☆106Updated 12 years ago