chipsalliance / caliptra-mcu-swLinks
Caliptra MCU Software
☆21Updated last week
Alternatives and similar repositories for caliptra-mcu-sw
Users that are interested in caliptra-mcu-sw are comparing it to the libraries listed below
Sorting:
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆198Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆42Updated 2 weeks ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆135Updated this week
- High level module that implements DPE and defines high-level traits that are used to communicate with the crypto peripherals and PCRs☆20Updated this week
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆95Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆168Updated last week
- ☆17Updated 3 years ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆38Updated 5 months ago
- Caliptra IP and firmware for integrated Root of Trust block☆370Updated this week
- Rust support for seL4 userspace☆181Updated 2 months ago
- Risc-V hypervisor for TEE development☆126Updated last week
- Tenstorrent Blackhole P100/P150 card RISC-V Linux demo 🐧☆41Updated last month
- DWARF program analysis crate☆24Updated last year
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- Fork of Rust adding CHERI support☆13Updated 9 months ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆33Updated last year
- RISC-V Assembler☆18Updated 2 years ago
- 'vhost-user' device backends workspace☆110Updated this week
- Sail code model of the CHERIoT ISA☆48Updated last month
- HDL development environment on Nix.☆26Updated last year
- Belfort FPGA acceleration for TFHE-rs; for demo use on AWS☆23Updated last month
- The Hermit bootloader.☆81Updated this week
- Userland apps for Tock written in C and C++☆88Updated 3 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆210Updated this week
- RISC-V Configuration Structure☆41Updated last year
- A Rust library to manipulate AArch64 VMSA EL1 page tables.☆40Updated last week
- Rust RISC-V Simulator☆42Updated last year
- Lean cryptographic library usable for bare-metal environments☆81Updated last week
- OP-TEE integration for the MS TPM 2.0 Reference Implementation (fTPM)☆18Updated last week
- Sled System Emulator☆28Updated 2 months ago