alfa-project / alfa-frameworkLinks
This is the main repository of the ALFA framework project! Jump here to start developping with ALFA.
☆18Updated 7 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:
- ☆24Updated last month
- CROSSCON-Hypervisor, a Lightweight Hypervisor☆21Updated last month
- ☆12Updated 2 months ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆49Updated 3 weeks ago
- Group administration repository for Tech: IOPMP Task Group☆13Updated last year
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Updated last year
- RISC-V IOMMU Demo (Linux & Bao)☆24Updated 2 years ago
- ☆13Updated 2 years ago
- AIA IP compliant with the RISC-V AIA spec☆46Updated last year
- A bare-metal application to test specific features of the risc-v hypervisor extension☆44Updated 2 months ago
- ☆23Updated 2 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated 2 months ago
- This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protectio…☆38Updated last week
- Linux kernel source tree☆21Updated this week
- ☆38Updated 3 years 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'…☆87Updated 2 years ago
- RISC-V IOMMU Specification☆146Updated this week
- Rocket Chip Generator☆13Updated 4 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆495Updated this week
- Simple machine mode program to probe RISC-V control and status registers☆127Updated 2 years ago
- PLIC Specification☆150Updated this week
- ☆99Updated this week
- 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 …☆65Updated last month
- Learning exercises for CHERI☆21Updated 7 months ago
- A port of the RIPE suite to RISC-V.☆29Updated 7 years ago
- Tools for analyzing and browsing Tarmac instruction traces.☆81Updated 3 months ago
- RISC-V Security Model☆34Updated this week
- RISC-V Security HC admin repo☆18Updated last year
- Repository containing the guide and code for booting RISC-V full system linux using gem5.☆56Updated 4 years ago
- Fast TLB simulator for RISC-V systems☆16Updated 6 years ago