qualcomm / eldLinks
Embedded Linker
☆195Updated this week
Alternatives and similar repositories for eld
Users that are interested in eld are comparing it to the libraries listed below
Sorting:
- ☆41Updated last year
- ☆171Updated last week
- A selection of ANSI C benchmarks and programs useful as benchmarks☆86Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆138Updated last week
- Working Draft of the RISC-V J Extension Specification☆190Updated 2 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆129Updated this week
- Arm C Language Extensions (ACLE)☆110Updated last month
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆76Updated this week
- The Xr0 Verifier for C☆179Updated 3 months ago
- RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC☆99Updated 3 years ago
- ☆45Updated last week
- ☆102Updated this week
- The RTOS components for the CHERIoT research platform☆145Updated this week
- Machine-readable database of the RISC-V specification, and tools to generate various views☆96Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆69Updated 11 months ago
- ☆58Updated 10 months ago
- Documentation of the RISC-V C API☆77Updated last week
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆51Updated last week
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆221Updated last year
- Assembly super-optimization via constraint solving☆213Updated this week
- ☆72Updated 5 months ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆45Updated last week
- Assemble 128-bit RISC-V☆45Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last year
- Fork of LLVM adding CHERI support☆56Updated this week
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- Basis of a RISC-V parser to be used for linters or assemblers.☆48Updated 3 years ago
- Sail code model of the CHERIoT ISA☆40Updated 3 weeks ago
- A utility for decoding aarch64 ESR register values.☆93Updated last week
- Simple demonstration of using the RISC-V Vector extension☆46Updated last year