chipsalliance / caliptra-swLinks
Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
☆119Updated this week
Alternatives and similar repositories for caliptra-sw
Users that are interested in caliptra-sw are comparing it to the libraries listed below
Sorting:
- Rust support for seL4 userspace☆161Updated 2 weeks ago
- Lints for kernel or embedded system development.☆110Updated this week
- Library facilitating safe pinned initialization☆54Updated last week
- The Hermit bootloader.☆77Updated 2 weeks ago
- Pluggable critical section☆147Updated 7 months ago
- Pico Host Boot Loader☆111Updated last month
- Code coverage support for Rust `no_std` and embedded programs☆57Updated 8 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆170Updated this week
- ☆88Updated last year
- Idiomatic Rust wrapper for MbedTLS☆86Updated last week
- Statically allocated, runtime initialized cell.☆49Updated 3 weeks ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- Documentation, code and information for the Safety Critical Rust Consortium☆83Updated this week
- Low level access to processors using the AArch64 execution state.☆87Updated 8 months ago
- Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.☆99Updated 2 weeks ago
- Simple EFI bootloader☆45Updated 10 months ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- DWARF program analysis crate☆19Updated last year
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆86Updated last year
- Minimal support for uart_16550 serial output.☆36Updated 8 months ago
- An Embedded Storage Abstraction Layer☆78Updated 7 months ago
- SSH for Rust, no_std and elsewhere☆75Updated last week
- Rust userland library for Tock☆180Updated last month
- Bare-metal allocators.☆76Updated 2 years ago
- A set of rust crates for making stack dumps and getting stack traces out of them☆75Updated last year
- Making Hubris available to external applications.☆50Updated 5 months ago
- An optimization modeling language with solvers for MILP problems☆52Updated 3 months ago
- Tiny C library written in Rust☆59Updated 7 months ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆168Updated 2 years ago