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.
☆18Sep 3, 2026Updated this 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:
- Official Intel SOCFPGA U-Boot repository. Note: (1) A "RC" labeled branch is for internal active development use and customer early acces…☆124Aug 11, 2026Updated 3 weeks ago
- ☆21Jan 31, 2026Updated 7 months ago
- Debugger for HTC phones bootloader (HBOOT).☆20Nov 28, 2013Updated 12 years ago
- The FPGA design for the FreeSRP's Artix 7 FPGA☆25Apr 12, 2017Updated 9 years ago
- I2P monitor and control application for Mac OS X☆12Jul 10, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Sep 25, 2024Updated last year
- Hardware Snappy decompressor☆12Sep 11, 2024Updated last year
- 图像识别后台算法服务器☆12Jul 25, 2016Updated 10 years ago
- MultiZone free and open API definition☆15Oct 26, 2021Updated 4 years ago
- Tool for deploying standalone Linux applications☆15Aug 21, 2019Updated 7 years ago
- ☆18Updated this week
- An FPGA-CPU co-design framework for accelerating software NFs (Network Functions) with Intel DPDK☆13May 27, 2020Updated 6 years ago
- Genode OS Framework☆17May 20, 2026Updated 3 months ago
- The GitHub repository containing all resources used in the 4th Data Prefetching Championship (DPC4), co-located with HPCA 2026.☆16Aug 20, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Dec 23, 2018Updated 7 years ago
- PCB files for the IS31FL3731 CharliePlex LED Breakouts☆10Dec 21, 2022Updated 3 years ago
- a tool to juggle around with (U)EFI GUIDs☆18Jun 9, 2014Updated 12 years ago
- An OpenEmbedded layer for GNSS-SDR☆16Updated this week
- Experimental C++ Ethernet driver for Stm32 boards using W5100.☆20Aug 31, 2026Updated last week
- The PCB design of the STM8 with the nRF24L01+ Board☆12Feb 4, 2017Updated 9 years ago
- ☆10Dec 18, 2020Updated 5 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Sep 15, 2017Updated 8 years ago
- A 4x4x4 Tic-Tac-Toe game suitable for porting to embedded hardware platforms☆11Sep 6, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Hardware MD5 Cracker for the Cyclone V SoC☆12Mar 25, 2015Updated 11 years ago
- Smart lead acid battery charger☆13Feb 10, 2017Updated 9 years ago
- A new kind of hardware decompressor for Snappy decompression. Much faster than the existing software one.☆24Jun 27, 2023Updated 3 years ago
- ☆13Jul 29, 2021Updated 5 years ago
- 64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9☆24Nov 19, 2015Updated 10 years ago
- Vivado project for the SP701 Imaging application project☆13Apr 1, 2020Updated 6 years ago
- Industrial grade -40+85C Arduino IDE programmable board with STM32F3 Cortex-M4 CAN and USB☆10Sep 12, 2025Updated 11 months ago
- PulseRain RISC-V board manager package for Arduino IDE☆13Mar 15, 2022Updated 4 years ago
- ☆13May 25, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- USB 1.1, USB 2.0, USB 3.0 to Ethernet 10/100/1000Mbit converter☆14Jan 20, 2026Updated 7 months ago
- A Windows Format Tool for USB and Physical volumes☆13Oct 1, 2021Updated 4 years ago
- Web server for controlling LED diodes with a NodeMCU (ESP8266)☆10Apr 26, 2020Updated 6 years ago
- Rust on STM32H7 Microcontrollers☆15Oct 9, 2019Updated 6 years ago
- ☆21Mar 11, 2021Updated 5 years ago
- This is sample for getting started with SK40C+PIC16F887☆13Feb 17, 2023Updated 3 years ago
- PYNQ with Chisel and Rust☆26Jan 2, 2018Updated 8 years ago