Barkhausen-Institut / M3Links
Microkernel-based system for heterogeneous manycores
☆13Updated 10 months ago
Alternatives and similar repositories for M3
Users that are interested in M3 are comparing it to the libraries listed below
Sorting:
- Risc-V hypervisor for TEE development☆122Updated 3 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 …☆60Updated 4 months ago
- Group administration repository for Tech: IOPMP Task Group☆13Updated 8 months ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆60Updated this week
- 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
- ☆39Updated 4 years ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆45Updated last week
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆19Updated 3 weeks ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆40Updated last year
- RISC-V Security Model☆32Updated this week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated last month
- ☆22Updated 2 years ago
- Testing processors with Random Instruction Generation☆46Updated 3 weeks ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆113Updated 3 weeks ago
- ☆20Updated 5 years ago
- CHERI-RISC-V model written in Sail☆64Updated 2 months ago
- RISC-V Security HC admin repo☆18Updated 8 months ago
- [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension☆27Updated last year
- CV32E40X Design-Verification environment☆13Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆39Updated 2 years ago
- Quick & Flexible Rack-Scale Computer Architecture Simulator☆49Updated 2 weeks ago
- ☆38Updated 3 years ago
- A survey on architectural simulators focused on CPU caches.☆16Updated 5 years ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆79Updated this week
- HW Design Collateral for Caliptra RoT IP☆111Updated this week
- CROSSCON-Hypervisor, a Lightweight Hypervisor☆19Updated last month
- Native Linux KVM tool☆11Updated 3 weeks ago
- ☆32Updated this week
- ☆105Updated 2 weeks ago
- ☆90Updated 3 weeks ago