qualcomm / eldLinks
Embedded Linker
☆176Updated 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
- The Xr0 Verifier for C☆180Updated last month
- Assembly super-optimization via constraint solving☆191Updated this week
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆73Updated this week
- ☆166Updated 3 months ago
- A selection of ANSI C benchmarks and programs useful as benchmarks☆85Updated 9 months ago
- a tool for reinterpreting ELF executables and shared libraries☆320Updated 6 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- Working Draft of the RISC-V J Extension Specification☆186Updated 3 weeks ago
- Machine-readable database of the RISC-V specification, and tools to generate various views☆73Updated this week
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- Documentation of the RISC-V C API☆76Updated 3 weeks ago
- Assemble 128-bit RISC-V☆45Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆119Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated 9 months ago
- A collection of (public) notes on assorted topics☆77Updated last week
- A utility for decoding aarch64 ESR register values.☆89Updated this week
- Table of ARM SoC and their features☆55Updated 2 months ago
- Arm C Language Extensions (ACLE)☆107Updated last month
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆44Updated last year
- Inspect and dissect an ELF file with pretty formatting.☆106Updated last year
- ☆56Updated 8 months ago
- LLVM backend for m88k architecture☆50Updated 3 months ago
- ☆71Updated 2 months ago
- The RTOS components for the CHERIoT research platform☆143Updated this week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆105Updated 9 months ago
- RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC☆100Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated 2 weeks ago
- Code for the "fake BIOS" RISC-V example☆25Updated last year