qualcomm / eldLinks
Embedded Linker
☆213Updated this week
Alternatives and similar repositories for eld
Users that are interested in eld are comparing it to the libraries listed below
Sorting:
- ☆43Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆147Updated last week
- A selection of ANSI C benchmarks and programs useful as benchmarks☆93Updated last year
- Working Draft of the RISC-V J Extension Specification☆191Updated last week
- Microkit - A simple operating system framework for the seL4 microkernel☆139Updated 3 weeks ago
- ☆58Updated last month
- Arm C Language Extensions (ACLE)☆115Updated this week
- Assembly super-optimization via constraint solving☆223Updated this week
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆80Updated last week
- The Xr0 Verifier for C☆178Updated 6 months ago
- GCC plugin for C language that tracks references to allocated objects☆29Updated 5 months ago
- ☆178Updated 2 months ago
- Userland apps for Tock written in C and C++☆87Updated 2 months ago
- ☆47Updated last week
- The RTOS components for the CHERIoT research platform☆152Updated last week
- ☆85Updated this week
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆112Updated last month
- Table of ARM SoC and their features☆58Updated this week
- Sail code model of the CHERIoT ISA☆45Updated last week
- Documentation of the RISC-V C API☆77Updated this week
- x86-64, ARM, and RVV intrinsics viewer☆66Updated 3 weeks ago
- Assemble 128-bit RISC-V☆46Updated last year
- A utility for decoding aarch64 ESR register values.☆97Updated 2 weeks ago
- RISC-V Instruction Set Metadata☆41Updated 7 years ago
- ☆103Updated last week
- RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC☆101Updated 3 years ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆45Updated last month
- An rv32i inspired ISA, SIMT GPU implementation in system-verilog.☆208Updated 8 months ago
- Interactive C/C++ preprocessor macro debugger☆172Updated 4 years ago
- A collection of (public) notes on assorted topics☆79Updated 2 months ago