qualcomm / eldLinks
Embedded Linker
☆216Updated this week
Alternatives and similar repositories for eld
Users that are interested in eld are comparing it to the libraries listed below
Sorting:
- ☆44Updated 2 years ago
- Working Draft of the RISC-V J Extension Specification☆191Updated last month
- Arm C Language Extensions (ACLE)☆114Updated 3 weeks ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆81Updated last week
- Assembly super-optimization via constraint solving☆223Updated last week
- The RTOS components for the CHERIoT research platform☆155Updated this week
- ☆180Updated 3 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆152Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆146Updated last week
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- The Xr0 Verifier for C☆179Updated 6 months ago
- Interactive C/C++ preprocessor macro debugger☆172Updated 4 years ago
- x86-64, ARM, and RVV intrinsics viewer☆66Updated this week
- RISC-V Instruction Set Metadata☆41Updated 7 years ago
- A selection of ANSI C benchmarks and programs useful as benchmarks☆94Updated last year
- ☆104Updated last week
- Documentation of the RISC-V C API☆78Updated this week
- ☆57Updated 2 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆123Updated last year
- C23 Checked Arithmetic☆145Updated 3 months ago
- A utility for decoding aarch64 ESR register values.☆99Updated this week
- ☆86Updated this week
- RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC☆101Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆78Updated this week
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆46Updated last week
- The development version of the L4Re Microkernel☆146Updated last week
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- A fast framework for writing baseline compiler back-ends in C++☆588Updated last month
- a tool for reinterpreting ELF executables and shared libraries☆333Updated last year
- GCC plugin for C language that tracks references to allocated objects☆29Updated 6 months ago