Barkhausen-Institut / M3Links
Microkernel-based system for heterogeneous manycores
☆13Updated this week
Alternatives and similar repositories for M3
Users that are interested in M3 are comparing it to the libraries listed below
Sorting:
- ☆39Updated 4 years ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆93Updated last week
- Risc-V hypervisor for TEE development☆126Updated 6 months ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆117Updated 4 months ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆64Updated last week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated last month
- HW Design Collateral for Caliptra RoT IP☆124Updated this week
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆46Updated last month
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆37Updated last year
- ☆89Updated 4 months ago
- A bare-metal application to test specific features of the risc-v hypervisor extension☆43Updated last month
- A formalization of the RVWMO (RISC-V) memory model☆35Updated 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 …☆65Updated 3 weeks ago
- Group administration repository for Tech: IOPMP Task Group☆13Updated last year
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆59Updated this week
- CHERI-RISC-V model written in Sail☆66Updated 6 months ago
- RISC-V Architecture Profiles☆170Updated this week
- A platform for emulating Virtio devices with FPGAs☆26Updated 4 years ago
- Native Linux KVM tool☆11Updated 3 months ago
- CV32E40X Design-Verification environment☆16Updated last year
- 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 last year
- Software workload management tool for RISC-V based SoC research. This is the default workload management tool for Chipyard and FireSim.☆87Updated 3 months ago
- ESESC: A Fast Multicore Simulator☆140Updated 2 months ago
- Testing processors with Random Instruction Generation☆50Updated last month
- Open-source non-blocking L2 cache☆51Updated this week
- RISC-V IOMMU Specification☆145Updated last week
- ☆72Updated 11 months ago
- Memory consistency model checking and test generation library.☆16Updated 9 years ago
- RISC-V Security Model☆34Updated last week
- ☆34Updated 5 years ago