Official Intel SOCFPGA Arm-TF repository. Note: (1) A "RC" labeled branch is for internal active development use and customer early access without official customer support. (2) Latest stable branch (no RC labeled) is strongly recommended for development and production use outside of Intel. (3) See README for Quartus and Device support.
☆19Oct 27, 2026Updated last week
Alternatives and similar repositories for arm-trusted-firmware
Users that are interested in arm-trusted-firmware are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code for reference designs applications☆22Mar 5, 2025Updated last year
- Official Intel SOCFPGA U-Boot repository. Note: (1) A "RC" labeled branch is for internal active development use and customer early acces…☆124Oct 27, 2026Updated last week
- Angstrom repository with updated layers file☆11Jul 9, 2021Updated 5 years ago
- Debian12 Boot Image (U-boot, Linux Kernel, Debian12 RootFS) for ZYBO/ZYBO-Z7/PYNQ-Z1/DE10-Nano/DE0-Nano-SoC☆22May 2, 2025Updated last year
- ☆12Sep 25, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ZFP Hardware Implementation☆13Dec 1, 2022Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆17Nov 15, 2021Updated 4 years ago
- Hardware Snappy decompressor☆12Sep 11, 2024Updated 2 years ago
- MIT操作系统工程的教学操作系统Xv6的源码剖析中文翻译项目，使用ANSI标准C重新在X86架构上实现Unix v6；☆11Apr 17, 2017Updated 9 years ago
- Memory Benchmark for OpenCL-supported Intel FPGAs☆12Dec 25, 2023Updated 2 years ago
- UEFI firmware image viewer and editor☆10Nov 10, 2018Updated 7 years ago
- Intellivision controller to USB adapter firmware☆10Oct 13, 2016Updated 10 years ago
- PlutoSDR Firmware☆10Jan 23, 2019Updated 7 years ago
- An FPGA-CPU co-design framework for accelerating software NFs (Network Functions) with Intel DPDK☆13May 27, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OpenCL offline compiler☆21Feb 21, 2016Updated 10 years ago
- ESP-PROG is USB programmer for ESP8266 and ESP32☆11May 27, 2020Updated 6 years ago
- Open Source Layouts, Footprints, Schematics, Libraries, ... for Cadence Products☆12Sep 13, 2022Updated 4 years ago
- This UX demo shows the new features of MiniGUI core, mGEff, mGNCS, and mGNCS4Touch components.☆16Feb 7, 2026Updated 9 months ago
- ☆13Aug 15, 2024Updated 2 years ago
- Open Hardware SPI programmer based on FTDI FT232H☆23Nov 25, 2012Updated 13 years ago
- ☆13Nov 30, 2017Updated 8 years ago
- An evaluation kit for VoCore, the coin-sized Linux computer with WiFi.☆11Jun 12, 2014Updated 12 years ago
- make git log works with unite☆13Feb 24, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- starrtc demo php版完整server api☆14Jan 18, 2019Updated 7 years ago
- PCB files for the IS31FL3731 CharliePlex LED Breakouts☆10Dec 21, 2022Updated 3 years ago
- Web server for controlling LED diodes with a NodeMCU (ESP8266)☆10Apr 26, 2020Updated 6 years ago
- AD9851 DDS module controller library for Arduino (written in C)☆12Oct 2, 2020Updated 6 years ago
- Vivado project for the SP701 Imaging application project☆13Apr 1, 2020Updated 6 years ago
- ☆12Oct 22, 2017Updated 9 years ago
- a full IoT product reference design☆10Oct 11, 2019Updated 7 years ago
- Antmicro's open hardware baseboard for Xilinx Zynq UltraScale+ FPGA MPSoC module☆14Aug 7, 2023Updated 3 years ago
- ☆12Dec 23, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Minimal uart for small iCE40 Lattice FPGAs. 8N1. 32 or 34 logicCells☆10Jul 20, 2017Updated 9 years ago
- Siemens PPD/SID206/SID803A engine control map detection software☆21Mar 11, 2013Updated 13 years ago
- Designs for Kinoma Create circuit boards, including a complete list of components used, PCB files in Allegro and Gerbers, schematics in C…☆10Apr 7, 2016Updated 10 years ago
- A Windows Format Tool for USB and Physical volumes☆13Oct 1, 2021Updated 5 years ago
- Low Cost Open Source Linux SOM, SBC or Core Module.☆12Jan 7, 2013Updated 13 years ago
- ☆10Dec 18, 2020Updated 5 years ago
- slackのemojiを自動生成する☆11Jul 31, 2016Updated 10 years ago